Every Hilbert-style proof has a Natural couterpart, and vice versa.
Primary LanguageCoq
No issues in this repository yet.