Veikko Eeva's repositories

FStar

An ML-like language with a type system for program verification

Language:F#License:Apache-2.0Stargazers:1Issues:2Issues:0