master

文件	最后提交记录	最后更新时间
ISSUE_TEMPLATE	Rocqify the issue template a little bit more.	1 年前
workflows	coqide-server: Renamed to rocqide-server	1 个月前
CODEOWNERS	Add CODEOWNERS entry for ssrrewrite	5 个月前
PULL_REQUEST_TEMPLATE.md	[coqbot] Adapt to https://github.com/rocq-prover/bot/pull/344	1 年前
SUPPORT.md	Update links and descriptions of Rocq forums.	1 年前