Hacker GitHub

← All repos

matt-noonan/gdp-paper

View on GitHub ↗ ★ 43 SMT

Ghosts of Departed Proofs

3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2018-06-19 · latest 2018-10-17

Mentions per year 3 mentions · busiest year 2018 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Safe API design with the ghosts of departed proofs
    story by fanf2 · 2018-06-27 · 0 comments