doc: mention build doc source location

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.82k stars 325 forks source link

Closed kmill closed 2 weeks ago

leanprover-community-mathlib4-bot commented 2 weeks ago

Mathlib CI status (docs):

✅ Mathlib branch lean-pr-testing-4045 has successfully built against this PR. (2024-05-01 21:14:20) View Log
✅ Mathlib branch lean-pr-testing-4045 has successfully built against this PR. (2024-05-01 22:00:09) View Log