Files
lean-finder/mathlib4_24_0.jsonl

4 lines
134 B
Plaintext
Raw Permalink Normal View History

version https://git-lfs.github.com/spec/v1
oid sha256:5d5b3fb74e6fcb54c54b4a024e808cb7bf86b14d186520ca06e8cac86edf9a5b
size 212839308