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
20082026
-
The link provided seems down (hug of death?) I'm guessing that this is the same material: https://github.com/achlipala/frap
comment by DoofusOfDeath · 2019-12-31 · in Formal Reasoning About Programs (2017) [pdf] -
…me and I can see the value. Hopefully the speaker's next book Formal Reasoning About Programs ( https://github.com/achlipala/frap ) will be a nice next step, I have Certified Programming with Dependent Types but have not cracked it yet.…
comment by haskellandchill · 2017-12-30 · in Coming Soon: Machine-Checked Proofs in Everyday Development