mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-20 20:09:11 +00:00
70b1179c61
The Twelf implementation comprises * the LF logical framework, including type reconstruction; * the Elf constraint logic programming language; * an inductive meta-theorem prover for LF; * and an Emacs interface. PR: ports/84625 Submitted by: "Andrew Bernard" <andrew@hobnob.com>
4 lines
185 B
Plaintext
4 lines
185 B
Plaintext
MD5 (twelf-1-4.tar.gz) = ba4d2a374242dae6e3c0dada30adeae2
|
|
SHA256 (twelf-1-4.tar.gz) = 63d0a283f75201467b10d541d643eba82f0e52b0ee4ea88a391c574a314ad62a
|
|
SIZE (twelf-1-4.tar.gz) = 1463158
|