theorem-prover-rs (WIP) Description Rust rewrite of theorem-prover-kt. References Build Your Own First-Order Prover mAarnos/Serkr stepchowfun/theorem-prover qnighy/ipc_solver qnighy/logic-solver-rs varqox/prover