Code

Bridge dev#112

Code

Merged

Casteran merged 17 commits intomastercoq-community/hydra-battles:masterfrom BridgeDevcoq-community/hydra-battles:BridgeDevCopy head branch name to clipboardJan 18, 2022

+518-242

Commits

Commits on Jan 6, 2022

• more lemmas (draft)

  Casteran

  committed
  b77f8f0

  Copy full SHA for b77f8f0

Commits on Jan 7, 2022

• add a type E0 (in Bridge)

  Casteran

  committed
  30a2140

  Copy full SHA for 30a2140

Commits on Jan 9, 2022

• experiments in bridge building

  Casteran

  committed
  df2ae2c

  Copy full SHA for df2ae2c

Commits on Jan 10, 2022

• experiments in bridge building

  Casteran

  committed
  bd2eac2

  Copy full SHA for bd2eac2

• experiments in bridge building

  Casteran

  committed
  cb830cd

  Copy full SHA for cb830cd

• fix a typo in gaia-chapter.tex

  Casteran

  committed
  c3d9e57

  Copy full SHA for c3d9e57

• fix a typo in gaia-chapter.tex

  Casteran

  committed
  289571c

  Copy full SHA for 289571c

Commits on Jan 11, 2022

• first try

  Casteran

  committed
  c3c35d3

  Copy full SHA for c3c35d3

Commits on Jan 12, 2022

• failed attempt to generate snippets with utf8 characters

  Casteran

  committed
  3ac93a4

  Copy full SHA for 3ac93a4

Commits on Jan 13, 2022

• additions to GCanon.V

  Casteran

  committed
  81de75f

  Copy full SHA for 81de75f

Commits on Jan 14, 2022

• utf8 omega accepted

  Casteran

  committed
  43d9eb5

  Copy full SHA for 43d9eb5

• Canonical sequences in Bridge (initial)

  Casteran

  committed
  d42e4d4

  Copy full SHA for d42e4d4

Commits on Jan 15, 2022

• try to use DejaVu Sans Mono

  Casteran

  committed
  c67b700

  Copy full SHA for c67b700

• Merge branch 'utf8' into BridgeDev

  Casteran

  committed
  9dfbe4b

  Copy full SHA for 9dfbe4b

Commits on Jan 17, 2022

• add a few lemmas

  Casteran

  committed
  60b8d40

  Copy full SHA for 60b8d40

• fix a typo

  Casteran

  committed
  5d7bd4c

  Copy full SHA for 5d7bd4c

Commits on Jan 18, 2022

• fix a typo

  Casteran

  committed
  5db0391

  Copy full SHA for 5db0391