Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2024 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 35
    Change of Name: Coq –> The Rocq Prover
    story by luu · 2023-12-27 · 48 comments