Code

Coq8.18#19

Code

Merged

thery merged 8 commits intocoq-community:mastercoq-community/bertrand:masterfrom thery:coq8.19thery/bertrand:coq8.19Copy head branch name to clipboardJul 15, 2024

+160-125

Commits

Commits on Jul 13, 2024

• coq > 8.18

  thery

  committed
  08e6b02

  Copy full SHA for 08e6b02

• now wh3 is working

  thery

  committed
  1485fdc

  Copy full SHA for 1485fdc

• missing coq files

  thery

  committed
  cb28a40

  Copy full SHA for cb28a40

• remove unnecessary file

  thery

  committed
  1a7aaa6

  Copy full SHA for 1a7aaa6

• exclude 8.20

  thery

  committed
  612edec

  Copy full SHA for 612edec

• update knuth-why build

  thery

  committed
  c22634e

  Copy full SHA for c22634e

• update Makefile

  thery

  committed
  b0c7b06

  Copy full SHA for b0c7b06

• only one coq file

  thery

  committed
  50e85fe

  Copy full SHA for 50e85fe