search

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
The Unlicense
13 stars 8 forks source link

add orcid as author attribute, use README.md and index.md templates #115

Closed palmskog closed 2 years ago

palmskog commented 2 years ago

ORCIDs are a good way to track authors independently of their (possibly ambiguous) name. I implement the ORCID display in README.md and index.md following the brand guidelines.

palmskog commented 2 years ago

Right, I first wrote everything manually, then validated that the termplates generated the same text as what I originally wrote manually.