FirstOrderTheory-0.1.0.4: Grammar and typeclass for first order theories
Grammar and typeclass for first order theories
Modules