nLab
Elf

A logical framework, the Edinburgh logical framework.

Related concepts

• Automath

• Twelf

References

• Elf Homepage

• Frank Pfenning, Logic Programming in the LF Logical Framework (1991) (web)

category: software