Show HN: The Logos Programming Language and Theorem Prover

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