Hardy. A collection of famous number theory theorems written out and verified as correct.

github.com/geohot/coq-hardy

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

April 2019
  • gitignore
December 2018
  • theorem 46
  • two more
  • even better
  • make shorter
  • wow we got better at that
  • wow i'm bad at ssreflect
  • use theorem 1
  • one day...maybe
  • more ish
  • 55 is special case of 54
  • cute facts
  • admit can make false ish
  • prove thm 71
  • starting on 70
  • ooo chapter 6 is nice
  • add dumb comments
  • proved thm 18
  • we are making a mess
  • one hole left