nLab
Twelf

A logical framework.

References

category: software

Revised on November 21, 2012 01:56:03 by Mike Shulman (192.16.204.218)