Mathlib Initiative

AI & ML interests

None defined yet.

Recent Activity

adamtopaz  updated a dataset 1 day ago

mathlib-initiative/mathlib-types

adamtopaz  published a dataset 1 day ago

mathlib-initiative/mathlib-types

adamtopaz  updated a dataset 4 days ago

mathlib-initiative/mathlib-tactics

View all activity

Team members 1