GitHub repository: AeneasVerif/icfp-tutorial
Primary language: Lean
Description: Aeneas tutorial for ICFP