]> matita.cs.unibo.it Git - helm.git/tree
Experimental: cycles in proofs generated by paramodulation are now detected
drwxr-xr-x - helm