Tutorial, Equations: Basics (#1) · coq/platform-docs@c87ebe1 · GitHub

Commit

Tutorial, Equations: Basics (#1)

Browse files

* add tutorial Equations Basics

* integrate first comment from Vanille-N

* Update Tutorial_Equations_basics.v

Co-authored-by: Neven Villani <[email protected]>

* moved the fixpoint syntax from sec 2 to sec 1.1

* moved tuto

---------

Co-authored-by: Neven Villani <[email protected]>

Loading branch information

thomas-lamiaux and Vanille-N authored May 13, 2024

1 parent 5994991 commit c87ebe1