Skip to content

feat: Other implementation#1111

Open
jstoobysmith wants to merge 3 commits into
leanprover-community:masterfrom
jstoobysmith:feat-OtherImpl
Open

feat: Other implementation#1111
jstoobysmith wants to merge 3 commits into
leanprover-community:masterfrom
jstoobysmith:feat-OtherImpl

sort

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

Annotations

1 warning
Lean based style linters
succeeded May 20, 2026 in 50m 45s