First order logic theorem prover in pure Pythongithub.com1 point·gattilorenz··0 commentsOpen articleSaveView on HN