The latest version of opentheory is 1.200-0.

opentheory

Version 1.195 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.195

Author
Joe Leslie-Hurd <joe@gilith.com>
Bug reports
n/a
Category
Formal Methods
Copyright
n/a
Homepage
n/a
Maintainer
Joe Leslie-Hurd <joe@gilith.com>
Package URL
n/a
Stability
n/a

Components