Build errors with Lean 4.19 #16
Description
Lean 4.19 appears to switch the allocator from small to mimalloc, the former of which is expected by the default feature.
{{ message }}
Lean 4.19 appears to switch the allocator from small to mimalloc, the former of which is expected by the default feature.