GitHub repository: paulpatault/auto-demo
Primary language: OCaml
Description: AutoDemo >> Coq >> Lean