ratp/data/simple_propositional.p, branch master
A saturation-based automated theorem prover for first-order logic.
https://git.richardqin.org/ratp/atom?h=master
2026-04-03T20:56:51Z
feat: implement command-line interface and add end-to-end propositional logic test suite
2026-04-03T20:56:51Z
Richard Qin
richard.qin.x@gmail.com
2026-04-03T20:56:51Z
urn:sha1:7408740374f46b24edd53d421dbc270d2fca1293