Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

rami3l/PLFaLean

Learn Lean 4 with PLFA proofs.

Owner: rami3l (personal account)
Stars: Stars: 120
Forks: Forks: 9
Language: Lean
License: MIT
Created: 2023
Topics: leanlean4plfaprogramming-language-foundationssoftware-foundations
Tier: Prototype (100 to 249 ★) What this tier means

More repos by rami3l

All 2 repos by rami3l

rami3l/pacaptrStars: 425RustAlpha

Nearby in Lean

avigad/lamrStars: 120LeanPrototype
google-deepmind/debateStars: 120LeanPrototype
leanprover/LNSymStars: 120LeanPrototype