_Kerman's presentation at the USTC Solvay club Topic: The Coq Proof Assistant Play the slides by running the following command in the terminal: pnpm i pnpm dev