3 ms·
Feels like maybe this is retreading ground covered by Why3ML, but perhaps I’m missing something. https://www.why3.org/doc/whyml.html https://www.why3.org/doc/w
by docandrew 1y ago
Feels like maybe this is retreading ground covered by Why3ML, but perhaps I’m missing something.
https://www.why3.org/doc/whyml.html https://www.why3.org/doc/whyml.html
- lgas 1y agoPresumably this is aimed at people that want to take advantage of it in Lean.