Pinned Repositories
holophrasm
Holophrasm: a neural Automated Theorem Prover for higher-order logic
ioda-idg's Repositories
ioda-idg doesn’t have any repository yet.
Holophrasm: a neural Automated Theorem Prover for higher-order logic
ioda-idg doesn’t have any repository yet.