Code

Define double negation sheaves#1198

Code

Merged

EgbertRijke merged 13 commits intomasterUniMath/agda-unimath:masterfrom double-negation-sheafUniMath/agda-unimath:double-negation-sheafCopy head branch name to clipboardOct 15, 2024

+377-11

Commits

Commits on Oct 15, 2024

• add reference oracle modalities

  fredrik-bakke

  committed
  5c543a9

  Copy full SHA for 5c543a9

• irrefutable propositions

  fredrik-bakke

  committed
  caa4026

  Copy full SHA for caa4026

• double negation stable propositions

  fredrik-bakke

  committed
  f463a99

  Copy full SHA for f463a99

• define double negation sheaves

  fredrik-bakke

  committed
  f1c883d

  Copy full SHA for f1c883d

• a fix for untracked files remove-unused-imports

  fredrik-bakke

  committed
  52b0606

  Copy full SHA for 52b0606

• Merge branch 'master' into double-negation-sheaf

  fredrik-bakke

  authored
  0ce29e7

  Copy full SHA for 0ce29e7

• remove unused imports

  fredrik-bakke

  committed
  bd467a3

  Copy full SHA for bd467a3

• Update src/foundation/irrefutable-propositions.lagda.md

  Show description for 5a569c4
  

  fredrik-bakke

  and

  EgbertRijke

  authored
  5a569c4

  Copy full SHA for 5a569c4

• review comment

  fredrik-bakke

  committed
  598f5ea

  Copy full SHA for 598f5ea

• pre-commit

  fredrik-bakke

  committed
  3611ceb

  Copy full SHA for 3611ceb

• review

  fredrik-bakke

  committed
  6177583

  Copy full SHA for 6177583

• is-irrefutable-is-decidable

  fredrik-bakke

  committed
  06030c2

  Copy full SHA for 06030c2

• prose

  fredrik-bakke

  committed
  3da9a77

  Copy full SHA for 3da9a77