repos
/
temple.lean4.git
summary
|
refs
|
master
|
code
|
commits
Update the deps
e703f20
Evgenii Akentev
·
2025-08-19
lean-toolchain
1
leanprover/lean4:v4.23.0-rc2