GitHub repository: mdbrnowski/lean-doodles
Primary language: Lean
Description: Doodles in Lean.