The latest version of opentheory-primitive is 1.8-0.

lib:opentheory-primitive

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.