aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 14 Pull Requests 4 Packages Projects Releases Wiki Activity

chore: Update Lean to v4.21.0 #223

Open
aniva wants to merge 1 commits from chore/toolchain into dev
pull from: chore/toolchain
merge into: aniva:dev
Conversation 0 Commits 1 Files Changed 3 +24 -13

1 Commits

Author SHA1 Message Date
Leni Aniva 7b96652c87
chore: Update Lean to v4.21.0 2025-06-30 15:05:07 -07:00