sci-mathematics/
twelf

Implementation of the logical framework LF

http://twelf.org/


Available Versions

Version amd64 x86 alpha arm hppa ia64 ppc ppc64 sparc
1.7.1 : 0 T ~amd64 ~x86 ?alpha ?arm ?hppa ?ia64 ?ppc ?ppc64 ?sparc

Package Metadata

Changelog