Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
twelf

Implementation of the logical framework LF

https://twelf.org/

Available Versions

Versionamd64x86alphaarmarm64hppamipsppcppc64riscvsparc
1.7.1-r2  : 0/1.7.1 T EAPI 8 ~amd64 ~x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc
This package needs a new maintainer!
If you are interested in helping with the maintenance of twelf, please get in touch with our Proxy Maintainers team.

Package Metadata

  • Upstream
    Remote-Idhttps://github.com/standardml/twelf
  • Full description
    Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
  • USE flags
    Global Use Flags
  • License
    BSD-2