see, that wasn't that hard was it?
https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md#change-of-name-coq---the-rocq-prover
"The Coq developer team has validated the renaming of Coq into the Rocq Prover."
John Regehr /
npub15x…e5a5k
2023-12-27 05:28:27
Author Public Key
npub15xjwk4qzx56p5tdsmzsge7m5ahztkp4nzmrmkw2cp324t888rwsswe5a5kPublished at
2023-12-27 05:28:27Event JSON
{
"id": "768aa2ff047cc0637e45c112697d6fd3f2af7661750d08cb514bfded03b3151e",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1703654907,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/regehr/statuses/111650728037169052",
"activitypub"
]
],
"content": "see, that wasn't that hard was it?\n\nhttps://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md#change-of-name-coq---the-rocq-prover\n\n\"The Coq developer team has validated the renaming of Coq into the Rocq Prover.\"",
"sig": "700141927c01746057874256f2a7b5928c6afa2f15ac01b9dc7475d9a8f3a01940221332944e9dd9de5a9af55d36e5ece9a3faad7af94ae6d2e4f233fab294e8"
}