Projects in Awesome Lists tagged with syllogism
A curated list of projects in awesome lists tagged with syllogism .
https://github.com/xylium117/syllogism
got bored, here is a logic based calculator
java logic logic-gates syllogism
Last synced: 05 Apr 2025
https://github.com/ewdlop/proof-assistance-note
https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?
4-color-theorem computer-assisted-proof coq fstar hott humanoid lean qed self-referential smt-solver syllogism type-theoretic-mathematics typescript water-proof
Last synced: 18 Feb 2025
