nLab
Elf

A logical framework, the Edinburgh logical framework.

References

category: software

Revised on November 21, 2012 01:55:49 by Mike Shulman (192.16.204.218)