Hacker GitHub

← All repos

achlipala/frap

View on GitHub ↗ ★ 738 Rocq Prover

Formal Reasoning About Programs

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2017-12-30 · latest 2019-12-31

Mentions per year 3 mentions · busiest year 2017 (1)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Frap: Formal Reasoning About Programs
    story by mpweiher · 2018-01-03 · 1 comment