Updating lake manifest for quote4 and aesop for Lean 4.9.0-rc1#5
Open
josojo wants to merge 1 commit intokim-em:masterfrom
Open
Updating lake manifest for quote4 and aesop for Lean 4.9.0-rc1#5josojo wants to merge 1 commit intokim-em:masterfrom
josojo wants to merge 1 commit intokim-em:masterfrom
