Code

Tutorial, Equations: Basics#1

Code

Merged

thomas-lamiaux merged 6 commits intomaincoq/platform-docs:mainfrom tuto-Equations-basicscoq/platform-docs:tuto-Equations-basicsCopy head branch name to clipboardMay 13, 2024

+678

Commits

Commits on Apr 29, 2024

• add tutorial Equations Basics

  thomas-lamiaux

  committed
  a8bc61b

  Copy full SHA for a8bc61b

Commits on Apr 30, 2024

• integrate first comment from Vanille-N

  thomas-lamiaux

  committed
  5ee26de

  Copy full SHA for 5ee26de

• Update Tutorial_Equations_basics.v

  Show description for e69282a
  

  thomas-lamiaux

  and

  Vanille-N

  authored
  e69282a

  Copy full SHA for e69282a

• moved the fixpoint syntax from sec 2 to sec 1.1

  thomas-lamiaux

  committed
  3f61c62

  Copy full SHA for 3f61c62

• Merge branch 'tuto-Equations-basics' of github.com:Zimmi48/platform-docs into tuto-Equations-basics

  thomas-lamiaux

  committed
  97a5d24

  Copy full SHA for 97a5d24

Commits on May 5, 2024

• moved tuto

  thomas-lamiaux

  committed
  bd1ef3b

  Copy full SHA for bd1ef3b