Submissions from github.com/coq

		Change of Name: Coq –> The Rocq Prover (github.com/coq)
		35 points by luu on Dec 27, 2023 \| past \| 48 comments
		Coq searches for alternative name (github.com/coq)
		63 points by janvdberg on April 9, 2021 \| past \| 124 comments
		Coq 8.11.0 released, featuring new Ltac2 tactic language (github.com/coq)
		1 point by TheAsprngHacker on Jan 30, 2020 \| past \| 1 comment
		Quick Reference and Starter Exercises for Learning Coq (github.com/coq)
		2 points by testcross on Aug 30, 2019 \| past
		Coq 8.9.0 (github.com/coq)
		3 points by lelf on Feb 12, 2019 \| past