Mathlib Initiative

mathlib-initiative's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

adamtopaz 

updated a dataset 12 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 12 days ago • 737k • 908

adamtopaz 

published a dataset 12 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 12 days ago • 737k • 908

adamtopaz 

updated 2 datasets 15 days ago

mathlib-initiative/mathlib-tactics

Viewer • Updated 15 days ago • 1.86M • 1.86k

mathlib-initiative/mathlib-const-dep

Viewer • Updated 15 days ago • 737k • 187

adamtopaz 

published 2 datasets 15 days ago

mathlib-initiative/mathlib-tactics

Viewer • Updated 15 days ago • 1.86M • 1.86k

mathlib-initiative/mathlib-const-dep

Viewer • Updated 15 days ago • 737k • 187