GitHub repository: sebeaumont/PLFL
Primary language: Lean
Description: Well its the obvious exercise for a good comparison