feat: rename the proof assistant to Rocq #38

Job	Run time
Validate PR title is Conventional Commit	3s
Warn external contributors about force-pushing	3s
	6s

Provide feedback