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