why3

★ 0 updated 11y ago ⑂ fork

An unofficial mirror of Why3 (http://why3.lri.fr/)

No plain-English explanation yet — one is being written right now. Check back in a minute.