Skip to content

Improve how references are used throughout Physlib - #1613

Open
Alex-Zughaid wants to merge 3 commits into
leanprover-community:masterfrom
Alex-Zughaid:references-standardization
Open

Improve how references are used throughout Physlib#1613
Alex-Zughaid wants to merge 3 commits into
leanprover-community:masterfrom
Alex-Zughaid:references-standardization

Update README.md

7b696c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Add size label
succeeded Sep 3, 2026 in 41s