Mathlib Initiative

AI & ML interests

None defined yet.

Recent Activity

adamtopaz  updated a dataset about 12 hours ago

mathlib-initiative/mathlib-tactics

adamtopaz  updated a dataset about 12 hours ago

mathlib-initiative/mathlib-const-dep

adamtopaz  updated a dataset about 12 hours ago

mathlib-initiative/mathlib-types

View all activity

Team members 1