twelf (lang/twelf) Updated: 1 year, 4 months ago Add to my watchlist
Meta-logical framework for deductive systemsVersion: 1.7.1 License: BSD
GitHub
| Maintainers | barracuda156 |
| Categories | lang math |
| Homepage | http://twelf.org/wiki/Main_Page |
| Platforms | darwin |
| Variants | - |
"twelf" depends on
run (1)
build (2)
Ports that depend on "twelf"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if twelf was updated (The requested URL returned error: 404 )
last updated: 12 hours ago