Geeks
benbellick
/
ATP
Automated Theorem Prover
Primary Language
OCaml
ATP GitHub
Markdown
Readme
2
Issues
0
Stargazers
1
Watcher
Issues
Open issue
Replace UnionFind implementation with a library
#2 opened
a year ago
0
Open issue
Use Trie implementation in Containers rather than `fpf`
#1 opened
a year ago
0