Re: [isabelle] How to verify properties of simple SML programs



At 2021-10-02T13:35:27+02:00, Buday Gergely István wrote:

> If you wanted to verify ML programs you might take a look at CakeML
> where you can verify ML programs down to machine code using HOL4.

Thanks for the pointer.  It seems a bit far from my interests now.

Regards,
Raghu.

--
N. Raghavendra <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.