4 ms·
One of the most serious competitors is F* - it's even based on the same underlying technology (Z3) but uses a more ML-like syntax. https://fstar-lang.org/ http
by tomp 10y ago
One of the most serious competitors is F* - it's even based on the same underlying technology (Z3) but uses a more ML-like syntax.
https://fstar-lang.org/ https://fstar-lang.org/
- didibus 10y agoF* looks pretty neat. I might try to learn that one.