Automated theorem prover for first-order predicate logic written in TypeScriptgithub.com/kkty2 pointskkty_217 years ago