Code

Tutorial Chaining Tactics#66

Code

Merged

thomas-lamiaux merged 14 commits intocoq:maincoq/platform-docs:mainfrom thomas-lamiaux:tuto-chaining-tacticsthomas-lamiaux/platform-docs:tuto-chaining-tacticsCopy head branch name to clipboardNov 2, 2024

+559-10

Commits

Commits on Oct 28, 2024

• first partial draft of part1

  thomas-lamiaux

  committed
  90ff514

  Copy full SHA for 90ff514

• close section

  thomas-lamiaux

  committed
  d431cfb

  Copy full SHA for d431cfb

• first draft of section 1

  thomas-lamiaux

  committed
  37aa70c

  Copy full SHA for 37aa70c

Commits on Oct 29, 2024

• add part 2.1

  thomas-lamiaux

  committed
  4f55907

  Copy full SHA for 4f55907

Commits on Oct 30, 2024

• second draft

  thomas-lamiaux

  committed
  f7e54ee

  Copy full SHA for f7e54ee

• typos

  thomas-lamiaux

  committed
  c705914

  Copy full SHA for c705914

• update web page

  thomas-lamiaux

  committed
  bcf6108

  Copy full SHA for bcf6108

• fix gaetan's first comment

  thomas-lamiaux

  committed
  8bdf8a9

  Copy full SHA for 8bdf8a9

• fix gaetan's second comment

  thomas-lamiaux

  committed
  fd186e8

  Copy full SHA for fd186e8

• fix gaetan's second comment 2

  thomas-lamiaux

  committed
  9c9353a

  Copy full SHA for 9c9353a

• fix coqdoc comment in the intro

  thomas-lamiaux

  committed
  b61be28

  Copy full SHA for b61be28

Commits on Nov 1, 2024

• fix Lysxia comments

  thomas-lamiaux

  committed
  7b4242a

  Copy full SHA for 7b4242a

Commits on Nov 2, 2024

• fix Lyes Saadi's comments

  thomas-lamiaux

  committed
  7edcdca

  Copy full SHA for 7edcdca

• edit index

  thomas-lamiaux

  committed
  a2ed7a3

  Copy full SHA for a2ed7a3