/plfa-but-Lean4

Learn Lean 4 with PLFA proofs.

Primary LanguageLeanMIT LicenseMIT

Stargazers

No one’s star this repository yet.