Logos Theorem Prover: Auto Tactic

(logicaffeine.com) by tristenharr | Jan 13, 2026 | 1 comments on HN