Code

doc: Classical.choice#3871

Code

Merged

kim-em merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom Kha:doc-classical-choiceKha/lean4:doc-classical-choiceCopy head branch name to clipboardApr 22, 2024

+7

Commits

Commits on Apr 10, 2024

• doc: Classical.choice

  Kha

  committed
  b9cceac

  Copy full SHA for b9cceac

• oops

  Kha

  authored
  bb80917

  Copy full SHA for bb80917

Commits on Apr 17, 2024

• Update src/Init/Classical.lean

  Show description for 9126b3a
  

  Kha

  and

  digama0

  authored
  9126b3a

  Copy full SHA for 9126b3a