Stream: Equations devs & users

Topic: Help needed: tutorial Equations and well-founded rec


view this post on Zulip Thomas Lamiaux (Jun 10 2024 at 23:14):

Hi, I have been working on a tutorial about Equations and well-founded recursion.
It is not done yet, but if you wish, you can already check it out and give back informal feedback here.

To finish it, I am lacking some examples. Would anyone have an idea ?

view this post on Zulip Thomas Lamiaux (Jun 12 2024 at 13:37):

The tuto on wf is ready to be reviewed.
It has been split in two with a tutorial dedicated to obligations and Equations.

  1. I have added nothing as I have no examples. We always add sth latter on.
  2. done

Last updated: Oct 13 2024 at 01:02 UTC