achlipala/frap

Formal Reasoning About Programs

2 best points · 1 comments · 1 Hacker News post · 737 GitHub stars · View on GitHub

Hacker News discussions

Frap: Formal Reasoning About Programs (2 points, 1 comments, by mpweiher, 2018-01-03)