FirstOrderTheory

Version 0.1.0.6 revision 0 uploaded by dillonhuff.

Package meta

Synopsis
Grammar and typeclass for first order theories
Description

Grammar and typeclass for first order theories

Author
Dillon Huff
Bug reports
n/a
Category
Math
Copyright
n/a
Homepage
n/a
Maintainer
dillonhuff@gmail.com
Package URL
n/a
Stability
n/a

Components