WIP Formalization and relations of many types of logic in Lean4
Primary LanguageLean
No one’s star this repository yet.