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.


N. Raghavendra <raghu at>,
Harish-Chandra Research Institute,

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