The latest version of opentheory is 1.200-0.

lib:opentheory

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.