Re: [isabelle] A (very) short Isabelle/HOL tutorial for the functional programmer
On Mon, Oct 19, 2015 at 2:07 PM, Thomas Genet <thomas.genet at irisa.fr> wrote:
> Dear Isabelle users,
> I wrote a 4 pages Isabelle/HOL tutorial for the functional programmer.
> It is available here:
> Any feedback and comments are welcome.
Thanks for that Thomas!
Just one point -- I had to change the fun to primrec... Not sure I
understand why but saw that somewhere and tried
This archive was generated by a fusion of
Pipermail (Mailman edition) and