5 ms·
The authors cite this, but just to mention it: this sounds like F*, another proof-oriented language. (https://fstar-lang.org/ https://fstar-lang.org/) F* is in
by Taikonerd 9d ago
The authors cite this, but just to mention it: this sounds like F*, another proof-oriented language. (https://fstar-lang.org/ https://fstar-lang.org/)
F* is in the ML family of languages, so it looks pretty different from C*.