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 Issues
U: Classic connectives parsed incorrectly
Closed
a year ago
Comments count
1
Conflict between max and disjunction
Closed
2 years ago
Comments count
3