Datasets:

Duplicated from CloK-Lab/MathlibGraph

Kevin-Skinner
/

mapofmath-data

Tasks:

Graph Machine Learning

Languages:

Size:

Tags:

dependency-graph

formal-verification

network-analysis

License:

Dataset card Data Studio Files Files and versions

mapofmath-data / processed /declaration /layout.bin

Kevin-Skinner's picture

Add processed artifacts (declaration, detail, namespace layer)

4b63465 verified 2 months ago

History Blame Contribute Delete

26.2 kB

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:: 8655cd8a353995b427ace6f5dc48b29261fe00452585975a6d4b3a8ce68eaebe
Size of remote file:: 26.2 kB
SHA256:: 28ae264ab88bdb50823701b07d0c0207fe8387e7168beeb0a94263abb13d74e2

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