leanprover / doc-gen4

Document Generator for Lean 4
Apache License 2.0
62 stars 41 forks source link

feat: include Lake as part of the core docs #141

Closed tydeu closed 1 year ago

tydeu commented 1 year ago

Now that Lake is officially part of the core, it seems worthwhile to include it in the core docs.