Skip to content

feat(PhyslibAlpha): finite path dimensional uncertainty chain - #1658

Closed
naype888-cloud wants to merge 10 commits into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-nava-robertson-complete
Closed

naype888-cloud wants to merge 10 commits into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-nava-robertson-complete

fix(PhyslibAlpha): translate all Spanish comments and docstrings to E…

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

Annotations

2 warnings and 1 notice
Add size label
succeeded Sep 18, 2026 in 5s