Hacker GitHub

← All repos

stepchowfun/proofs

View on GitHub ↗ ★ 317 Rocq Prover

My personal repository of formally verified mathematics.

5 mentions on Hacker News by 2 people: 1 story, 4 comments · first 2019-02-28 · latest 2023-09-03

Mentions per year 5 mentions · busiest year 2022 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    A formally verified proof of the soundness of System F
    story by mmphosis · 2019-02-28 · 0 comments