Skip to content

chore: repoint dependency pins to leanprover#3

Merged
kim-em merged 1 commit into
mainfrom
repoint-pins-to-leanprover
Jul 2, 2026
Merged

chore: repoint dependency pins to leanprover#3
kim-em merged 1 commit into
mainfrom
repoint-pins-to-leanprover

chore: repoint dependency pins to leanprover

51e0b2d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar