search

coq / platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
https://coq.inria.fr/platform-docs/
Other
19 stars 10 forks source link

Tutorial Easy #33

Open thomas-lamiaux opened 4 months ago

thomas-lamiaux commented 4 months ago

It is a first draft for a tutorial about easy. I would be good to add more examples but at the moment, I am lacking ideas.

thomas-lamiaux commented 2 months ago

@Villetaneuse What is the status of this ? If you don't have the time with the beginning of the semester, I can finish it