Package Details: twelf 1.7.1-2

Git Clone URL: https://aur.archlinux.org/twelf.git (read-only)
Package Base: twelf
Description: An implementation of the logical framework LF
Upstream URL: http://twelf.org/
Licenses: BSD
Conflicts: twelf-git
Provides: twelf
Submitter: soimort
Maintainer: soimort
Last Packager: soimort
Votes: 0
Popularity: 0.000000
First Submitted: 2016-03-13 05:20
Last Updated: 2016-03-22 23:52