Skip to content

doc: mention precompileModules - #907

Open
Vtec234 wants to merge 2 commits into
leanprover:mainfrom
Vtec234:reference-manual-precomp
Open

doc: mention precompileModules#907
Vtec234 wants to merge 2 commits into
leanprover:mainfrom
Vtec234:reference-manual-precomp