The latest version of free-theorems-counterexamples is 0.3.1.0-0.

exe:counterexamples.cgi

Dependencies

Reverse dependencies

None.