Skip to content

chore: bump to Lean 4.26#49

Draft
RSoulatIOHK wants to merge 1 commit into
chore-bump-lean-4.25from
chore-bump-lean-4.26
Draft

chore: bump to Lean 4.26#49
RSoulatIOHK wants to merge 1 commit into
chore-bump-lean-4.25from
chore-bump-lean-4.26

Commits

Commits on Dec 16, 2025