P

pmData

Project information

Data on Hilbert proof systems, primarily created by pmGenerator. Foundations for system exploration. (Mirror of https://github.com/xamidi/pmData)

https://xamidi.pages.git.nrw/pmData

condensed de... formal proofs Frege systems Hilbert systems logic modal logic propositiona...

21 Commits
1 Branch
0 Tags

README
Creative Commons Zero v1.0 Universal
GitLab Pages

Created on

July 28, 2026

Loading