aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Reorganize the Lean backend to improve the build time

Open sonmarcho opened this issue 8 months ago • 0 comments
trafficstars

It should be possible to benefit from more parallelism when building the Lean backend

sonmarcho avatar Mar 06 '25 08:03 sonmarcho