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

Conversation

@Vtec234

@Vtec234 Vtec234 commented Jul 28, 2026

Copy link
Copy Markdown
Member

No description provided.

@leanprover-bot leanprover-bot added the HTML available HTML has been generated for this PR label Jul 28, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Preview for this PR is ready! 🎉 (also as a proofreading version). built with commit 02a5580.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

HTML available HTML has been generated for this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants