Implementation
Twelf is written in Standard ML and binaries are available for Linux and Microsoft Windows. As of 2006 it is under active development (mostly at Carnegie Mellon University).
Read more about this topic: Twelf
Implementation
Twelf is written in Standard ML and binaries are available for Linux and Microsoft Windows. As of 2006 it is under active development (mostly at Carnegie Mellon University).
Read more about this topic: Twelf