F

Frege systems

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