search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Caught edge case in PolyRings rewrite rules #22

Closed gelijergensen closed 3 years ago