3 ms·
This is the first time I've heard of F*. Interesting. Is it usable?
by bad_user 13y ago
This is the first time I've heard of F*. Interesting. Is it usable?
- tomp 13y agoNot really. It basically generates a number of type (in)equalities and outsources finding the solution to Microsoft Z3 theorem prover, which you cannot use for anything commercial.