Pantograph/lean-toolchain

2 lines
36 B
Plaintext
Raw Permalink Normal View History

2024-03-28 00:06:35 -07:00
leanprover/lean4:nightly-2024-03-27