News for hackers. Stuff that matters.

A comment on Standard ML Family GitHub Project. Parent comment

Re:Standard ML Family GitHub Project by jojo3000 on Friday September 26, 2014 @08:29PM (#8375599)
In interactive theorem proving HOL4 (http://hol.sourceforge.net/) and Isabelle (http://isabelle.in.tum.de/) are written in SML and are actively developed.
[ Parent | on HN ]

There are no comments on this comment yet.