Projects with this topic
Sort by:
-
🔧 🔗 https://github.com/xamidi/pmGeneratorAn exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Updated
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
