8000 doc: review Repr and Format docstrings by david-christiansen · Pull Request #8998 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

doc: review Repr and Format docstrings#8998

Merged
david-christiansen merged 1 commit intoleanprover:masterfrom
david-christiansen:doc-format
Jun 26, 2025
Merged

doc: review Repr and Format docstrings#8998
david-christiansen merged 1 commit intoleanprover:masterfrom
david-christiansen:doc-format

Commits

Commits on Jun 25, 2025
0