symbolic-logic
First-order logic theorem prover supporting unification with approximate vector similarity
At the edge of code and consciousness — ∿ applies nondual collapse logic to expose imitation in wallets, APIs, and digital trust systems.
Python library for computational formal logic, formal semantics, and theorem proving
Simple symbolic reasoner which supports fuzzy unification in Python
