search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

update template examples #65

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

Just some updates based on recent changes for Coq 8.10