News for hackers. Stuff that matters.

A comment on Strong typing, a hill I'm willing to die on. Parent comment

Re:Strong typing, a hill I'm willing to die on by JonChesterfield on Wednesday October 04, 2023 @05:26PM (#37772022)
SML is good enough for theorem proving. That's what it was written for. Though you probably want convenience libraries on top, maybe the one called HOL.
[ Parent | on HN ]

There are no comments on this comment yet.