Giters
Deducteam
/
opam-lambdapi-repository
Opam repository of Lambdapi libraries
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
2
Issues:
2
Forks:
1
Deducteam/opam-lambdapi-repository Issues
Stdlib is install in the folder lib_root/Blanqui/Lib instead of lib_root/Stdlib
Closed
9 months ago
Comments count
3
opam install lambdapi-logic fails
Closed
2 years ago