PyRes icon indicating copy to clipboard operation
PyRes copied to clipboard

verified publisher icon eprover
→

Metadata

Pedagogical first-order prover in Python

Results 1 PyRes issues
Sort by recently updated
recently updated
newest added

Reorganize to library

I've been finding PyRes quite intriguing and inspirational. Thanks for writing it! I think it is quite useful as a library if organized in that way. Subjectively, I think it...

philzook58 avatar philzook58

← Metadata

39
Stars
11
Forks
Watchers

Owner

verified publisher icon eprover

Metadata

Pedagogical first-order prover in Python

Back