nikswamy/FStar

A Proof-oriented Programming Language

6 best points · 0 comments · 1 Hacker News post · 3,137 GitHub stars · View on GitHub

Hacker News discussions

• FStar: An ML-like language with a type system for program verification (6 points, 0 comments, by Rexxar, 2014-04-25)