phyrst. Dependency free implementation of first order logic with python operators overloading

github.com/mateosss/phyrst

Problem

Audience

Updates

No founder updates yet. Check back soon.