Giters
jessealama
/
ladr
LADR: Library for Automated Deduction Research
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
4
Issues:
3
Forks:
5
jessealama/ladr Issues
Error in the tptp_to_ladr utility
Updated
9 years ago
Comments count
1
ladr_to_tptp segfaults
Closed
12 years ago
Comments count
4
No rule to make target `libladr.a'.
Updated
12 years ago
Comments count
6