opentheory
Version 1.200 revision 0 uploaded by JoeHurd.
Package meta
- Synopsis
- The standard theory library
- Description
The standard theory library - this package was automatically generated from the OpenTheory package base-1.200
- Author
- Joe Leslie-Hurd <joe@gilith.com>
- Bug reports
- n/a
- Category
- Formal Methods
- Copyright
- n/a
- Homepage
- http://opentheory.gilith.com/?pkg=base
- Maintainer
- Joe Leslie-Hurd <joe@gilith.com>
- Package URL
- n/a
- Stability
- n/a