Files
lean-finder/mathlib4_19_0.jsonl

4 lines
134 B
Plaintext
Raw Normal View History

version https://git-lfs.github.com/spec/v1
oid sha256:29269aed12c4db12410f5b562b2e21dce8df4991b850f3829c3ab64996797447
size 168993154