rocq-prover/rfcs
View on GitHub ↗ ★ 66
Rocq RFCs: documents to discuss changes to the Rocq Prover
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2023-12-27 · latest 2024-05-15
20082026
-
…of now this is still in the roadmap[1] and I saw no information about removing it from there. [1]: https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-ro...
comment by thih9 · 2024-05-15 · in Translation of Rust's core and alloc crates to Coq for formal verification -
> ... now Coq's getting renamed Oh, didn't know that they are working on this. https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-ro... and, of course, https://news.ycombinator.com/item?id=38779480 069-coq-roadmap.md? Oh, you! So…
comment by ReleaseCandidat · 2024-01-14 · in OpenD, a D language fork that is open to your contributions -
▲ 35
Change of Name: Coq –> The Rocq Proverstory by luu · 2023-12-27 · 48 comments