0
User
Recs.
Recs.
3
Updates
Last
Updated
Updated
Activity
39 Options
An ML-like language designed for formal program verification that can also compile to JavaScript.
Specs
Specs are quantitative aspects of the option such as the price
Pros
Know any positive aspects of this option?
Cons
Know any negative aspects of this option?