hilbert-systems topic
List
hilbert-systems repositories
pmGenerator
23
Stars
3
Forks
23
Watchers
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
