greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
4687e0bd7c30581423957a1d4e176024d374cd1d
NNG/lean-toolchain
Jon Eugster 4687e0bd7c add mathlib again
2023-07-07 17:44:27 +02:00

2 lines
36 B
Plaintext
Raw Blame History

leanprover/lean4:nightly-2023-06-20
Reference in New Issue View Git Blame Copy Permalink