Projects with this topic
Sort by:
-
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory. (Mirror of https://github.com/xamidi/pmGenerator)
Updated
We are upgrading GitLab in the background. The UI will remain available. SSH or https connections to repositories may drop temporarily.
--
The update is done
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory. (Mirror of https://github.com/xamidi/pmGenerator)