keyvalue
id42695709
namecoq-100-theorems
full_namecoq-community/coq-100-theorems
html_urlhttps://github.com/coq-community/coq-100-theorems
descriptionStatements of famous theorems proven in Coq [maintainer=@jmadiot]
created_atSept. 18, 2015, 2:51 a.m.
updated_atNov. 8, 2024, 6:44 p.m.
pushed_atMarch 19, 2024, 5:05 p.m.
size482
stargazers_count55
watchers_count4
forks_count14
open_issues3
languageHTML
awesome_list

https://github.com/coq-community/awesome-coq