Feels like maybe this is retreading ground covered by Why3ML, but perhaps I’m mi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		docandrew 4 months ago \| parent \| context \| favorite \| on: Automated Lean Proofs for Every Type Feels like maybe this is retreading ground covered by Why3ML, but perhaps I’m missing something. https://www.why3.org/doc/whyml.html

lgas 4 months ago [–]

Presumably this is aimed at people that want to take advantage of it in Lean.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact