Code

Feature/fix presup#223

Code

Merged

HuStmpHrrr merged 24 commits intoext/prop-eqBeluga-lang/McTT:ext/prop-eqfrom feature/fix-presupBeluga-lang/McTT:feature/fix-presupCopy head branch name to clipboardSep 30, 2024

+1,259-13

Commits

Commits on Sep 16, 2024

• fixing presupposition

  HuStmpHrrr

  committed
  274b625

Commits on Sep 17, 2024

• working on presup

  HuStmpHrrr

  committed
  628d465

• need to figure this out

  HuStmpHrrr

  committed
  d1256bc

Commits on Sep 18, 2024

• update

  HuStmpHrrr

  committed
  d92022d

• one more case

  HuStmpHrrr

  committed
  3545904

Commits on Sep 19, 2024

• one more lemma

  HuStmpHrrr

  committed
  8bc5ed3

• I am so dead...

  HuStmpHrrr

  committed
  2fc3a07

• move out lemmas

  HuStmpHrrr

  committed
  3db9dfa

• more progress

  HuStmpHrrr

  committed
  4330606

Commits on Sep 20, 2024

• finish one lemma

  HuStmpHrrr

  committed
  bd5f9df

• long way to go

  HuStmpHrrr

  committed
  adbb55e

• outline the proof

  HuStmpHrrr

  committed
  366b319

• outline the proof

  HuStmpHrrr

  committed
  a9d3bb5

• one simple case

  HuStmpHrrr

  committed
  50238ef

• keep completing

  HuStmpHrrr

  committed
  c5fad9d

• Merge remote-tracking branch 'origin/ext/prop-eq' into feature/fix-presup

  HuStmpHrrr

  committed
  70abaf8

Commits on Sep 29, 2024

• more proofs

  HuStmpHrrr

  committed
  9850140

Commits on Sep 30, 2024

• the most complicated case

  HuStmpHrrr

  committed
  2255a00

• more proofs

  HuStmpHrrr

  committed
  11175da

• more proofs

  HuStmpHrrr

  committed
  016fdb0

• more proofs

  HuStmpHrrr

  committed
  e228fe3

• finish proofs

  HuStmpHrrr

  committed
  cd11f3c

• add presup

  HuStmpHrrr

  committed
  b722bc3

• finish all syntactic proofs

  HuStmpHrrr

  committed
  3a5c85e