Pantograph/lean-toolchain

2 lines
29 B
Plaintext
Raw Permalink Normal View History

2024-07-06 19:53:50 -07:00
leanprover/lean4:v4.10.0-rc1