FirstOrderTheory-0.1.0.6: Grammar and typeclass for first order theories

FirstOrderTheory-0.1.0.6: Grammar and typeclass for first order theories

Grammar and typeclass for first order theories

Modules