Skip to content

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

Open
Robertboy18 wants to merge 2 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 2 commits into
leanprover:Boole-sandboxfrom
Robertboy18:feat/boole-queue-deque-examples

docs(Boole): explain circular queue successor helper

96bb950
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors and 1 warning
ci-checks
failed May 4, 2026 in 12m 3s