Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
FStar: An ML-like language with a type system for program verification
github.com/nikswamy
6 points
Rexxar
12 years ago
No comment yet
FStar: An ML-like language with a type system for program verification | Heykuki News