twelf
Implementation of the logical framework LF
Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
homepage ↗ github: standardml/twelf
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 1.7.1-r2 | 1 | 16 h | details › |
Versions & arches
Use flags of 1.7.1-r2
- 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
Runtime dependencies of 1.7.1-r2
show 8 lines
doc?
(
)
emacs?
(
)