feat: rename the proof assistant to Rocq #36

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

Provide feedback