GitHub repository: tlringer/proof-demos
Primary language: Coq
Created: 2022-05-20T00:24:37Z
Description: Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic