How to split your project into multiple files isn't listed on lean4 docs #1174
Labels
documentation
Documentation improvement
help wanted
Extra attention is needed
missing documentation
PR is missing documentation
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
The text was updated successfully, but these errors were encountered: