An open API service indexing awesome lists of open source software.
A curated list of projects in awesome lists tagged with three-state-logic .
boolean-logic computer-assisted-proof first-order-logic formal-logic fuzzy-logic many-valued-logic modal-logic predicate-logic proofs-as-programs propositional-calculus three-state-logic three-valued-logic
Last synced: 18 Feb 2025