Repository navigation

feat(Boole): Bring Boole sandbox to Lean 4.29 and add queue examples - #539

Open

Robertboy18 wants to merge 5 commits into

leanprover:Boole-sandboxfrom

Robertboy18:feat/boole-queue-deque-examples

Open

feat(Boole): Bring Boole sandbox to Lean 4.29 and add queue examples#539
Robertboy18 wants to merge 5 commits into
leanprover:Boole-sandboxfrom
Robertboy18:feat/boole-queue-deque-examples

Commits on Aug 22, 2026
- feat(Boole): add verified queue examples
  Robertboy18
  committed
  d973ea1
- docs(Boole): explain circular queue successor helper
  Robertboy18
  committed
  35f6109
- fix(Boole): update queue examples for current verifier
  Robertboy18
  committed
  0b570cb
- ci: provision cvc5 for Boole checks
  Robertboy18
  committed
  96654c7
Commits on Oct 27, 2026
- Merge Boole-sandbox and preserve queue examples on Lean 4.31
  Robertboy18
  committed
  195300a