nLab
Twelf
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
A
logical framework
.
Related concepts
Automath
Elf
References
Twelf homepage
category:
software
Revised on November 21, 2012 01:56:03 by
Mike Shulman
(192.16.204.218)
Edit
|
Back in time
(1 revision)
|
See changes
|
History
| Views:
Print
|
TeX
|
Source
| Linked from:
logical framework
,
list of mathematics software
,
Elf