free-theorems 0.3.2.0

5 Reverse deps Accepted versions
free-theorems-counterexamples >=0.3.1.3
free-theorems-seq >=0.3.1 && <0.4
free-theorems-webui >=0.3.1.3 && <0.4
ftshell >=0.3.1.3 && <0.4
polyseq >=0.3.1