lucolivi/holophrasm
Holophrasm: a neural Automated Theorem Prover for higher-order logic
Objective-C++MIT
Watchers
No one’s watching this repository yet.
Holophrasm: a neural Automated Theorem Prover for higher-order logic
Objective-C++MIT
No one’s watching this repository yet.