Equivalence of natural deduction and sequent calculus in HOL4
Primary LanguageStandard MLMIT LicenseMIT