symbolic-logic
At the edge of code and consciousness, Aun ∿ applies nondual collapse logic to expose imitation in digital trust.
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 in Python
