Datasets:

anon-mlib-d3a4
/

MathlibGraph

Tasks:

Graph Machine Learning

Languages:

Size:

Tags:

dependency-graph

formal-verification

network-analysis

License:

Dataset card Data Studio Files Files and versions

MathlibGraph / mathlib_edges.csv

anon-d3a4's picture

Initial dataset upload (anonymized for review)

a571e06 verified 5 months ago

History Blame Contribute Delete

584 MB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )

Xet hash:: 1767b34da2b04c1472861465456b6a3840144b6517018756bffed844e0766432
Size of remote file:: 584 MB
SHA256:: 5e1426b2304a97924cca1e48fa22d76620e1cb7bbb496a1bd9dd742cc6906922

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.