Skip to content

chore: bump to Lean 4.26

38ac1b8
Select commit
Loading
Failed to load commit list.
Draft

chore: bump to Lean 4.26 #49

chore: bump to Lean 4.26
38ac1b8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar