The latest version of free-theorems is 0.3.2.1-0.

lib:free-theorems

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.