Skip to content

feat: implement DLMF attribute - #42899

Open
luigi-massacci wants to merge 9 commits into
leanprover-community:masterfrom
luigi-massacci:LM_link_dlmf
Open

feat: implement DLMF attribute#42899
luigi-massacci wants to merge 9 commits into
leanprover-community:masterfrom
luigi-massacci:LM_link_dlmf

Commits

Commits on Aug 9, 2026

Commits on Aug 10, 2026

Commits on Aug 12, 2026

Commits on Aug 18, 2026