pingu/lean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
main
lean/lean-toolchain

2 lines
25 B
Plaintext
Raw Permalink Normal View History

Wooooooo
2025-01-29 22:07:02 +00:00
leanprover/lean4:v4.15.0
Reference in New Issue Copy Permalink