lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

How to split your project into multiple files isn't listed on lean4 docs

Open Seppel3210 opened this issue 2 years ago • 0 comments

I expected to see that on this page/section of the doc https://leanprover.github.io/lean4/doc/organization.html but it isn't listed there

Seppel3210 avatar May 28 '22 12:05 Seppel3210