gentoo.mahdi.cz
sci-mathematics
:twelf
Implementation of the logical framework LF
http://twelf.org/
twelf-1.7.1-r2
BSD-2
download
~amd64 ~x86
gentoo