xamidi
Results
1
repositories owned by
xamidi
pmGenerator
20
Stars
3
Forks
Watchers
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
