GitHub repository: CohenCyril/LFTCM2024_Rocq
Primary language: Coq
Description: Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024