Giters
Deducteam
/
lambdapi-logics
Logic files for Lambdapi
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
3
Issues:
2
Forks:
2
Deducteam/lambdapi-logics Watchers
barras
Frédéric Blanqui
fblanqui
James Cloos
jhcloos