rocq-community/templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

MustacheStars 17Forks 10Watchers 17Open issues 27License The Unlicense

Details

仓库信息

Ownerrocq-community

Homepage—

Last pushed2025-10-30

Last updated2025-12-15

Issues fetched at—

Community at a glance