Mathlib Initiative

mathlib-initiative's activity

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

adamtopaz 

updated a dataset 7 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 7 days ago • 737k • 1.1k

adamtopaz 

published a dataset 7 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 7 days ago • 737k • 1.1k

adamtopaz 

updated 2 datasets 10 days ago

mathlib-initiative/mathlib-tactics

Viewer • Updated 10 days ago • 1.86M • 85

mathlib-initiative/mathlib-const-dep

Viewer • Updated 10 days ago • 737k • 12

adamtopaz 

published 2 datasets 10 days ago

mathlib-initiative/mathlib-tactics

Viewer • Updated 10 days ago • 1.86M • 85

mathlib-initiative/mathlib-const-dep

Viewer • Updated 10 days ago • 737k • 12