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