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