feat(Boole): Bring Boole sandbox to Lean 4.29 and add queue examples#539
Open
Robertboy18 wants to merge 2 commits into
Open
feat(Boole): Bring Boole sandbox to Lean 4.29 and add queue examples#539Robertboy18 wants to merge 2 commits into
Robertboy18 wants to merge 2 commits into
