Skip to content

feat: Add down singlets#1463

Merged
jstoobysmith merged 7 commits into
leanprover-community:masterfrom
nateabr:downsinglet
Jul 26, 2026
Merged

feat: Add down singlets#1463
jstoobysmith merged 7 commits into
leanprover-community:masterfrom
nateabr:downsinglet

feat(down-singlet): register the module

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

Annotations

1 warning
Lean based style linters
succeeded Jul 26, 2026 in 7m 53s