Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: three-state-logic

ewdlop/Logic-Note

Language: Python - Size: 74.2 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Related Keywords
boolean-logic 1 computer-assisted-proof 1 first-order-logic 1 formal-logic 1 fuzzy-logic 1 many-valued-logic 1 modal-logic 1 predicate-logic 1 proofs-as-programs 1 propositional-calculus 1 three-state-logic 1 three-valued-logic 1