Notes on the Handbook of Practical Logic -- Lean Edition
Primary LanguageLean
No issues in this repository yet.