Mathlib Initiative

non-profit

https://mathlib-initiative.org

mathlib-initiative

AI & ML interests

None defined yet.

Recent Activity

adamtopaz updated a dataset 1 day ago

mathlib-initiative/mathlib-types

adamtopaz updated a dataset 8 days ago

mathlib-initiative/mathlib-types

adamtopaz published a dataset 4 months ago

mathlib-initiative/mathlib-types

View all activity

mathlib-initiative 's models

None public yet