Hunter Monroe

[email protected]

Results 4 issues of


                                            Hunter Monroe

Test commit

--- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

WIP

doc: describe the sidebar components (Aesop, Init, Lake, Lean, Mathlib, etc) and where their code is located

7

comment

Doc string edits

[Typo] Next steps: corrections re std library and completed port of mathlib to Lean 4

See the suggested changes in PR 149: https://github.com/leanprover/fp-lean/pull/149/files

Typo