twelf

Description:Implementation of the logical framework LF
License: BSD-2
Homepage:http://twelf.org/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
1.7.1-r2 - ~ - - - - - - - - - - ~

USE flags

  • doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
  • emacs - Add support for GNU Emacs
  • examples - Install examples, usually source code

Also available in: Atom

Thank you!