GitHub repository: rami3l/plfl
Primary language: Lean
Description: Learn Lean 4 with PLFA proofs.