add metadata and generate boilerplate

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

https://madiot.fr/coq100/

Other

55 stars 14 forks source link

add metadata and generate boilerplate #7

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

This uses our templates to generate boilerplate for CI and documentation. Please take a look at the generated README.md (some info could be removed, at the cost having to re-remove it when README.md is generated from the template in the future).