Gentoo Portage Overlays - sci-mathematics/twelf

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/twelf

Implementation of the logical framework LF

Screenshots

https://twelf.org/

twelf-1.7.1-r2

~amd64 ~x86

doc emacs examples

View

Download

Browse License: BSD-2

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

twelf-1.7.1-r2

>=dev-lang/mlton-20180207

doc?
( virtual/latex-base app-text/texi2html )

emacs?
( >=app-editors/emacs-23.1:* )