aeneas
aeneas copied to clipboard
Reorganize the Lean backend to improve the build time
trafficstars
It should be possible to benefit from more parallelism when building the Lean backend