Chase Norman

chasenorman

https://chasenorman.com

chasenorman

AI & ML interests

None yet

Recent Activity

updated a dataset 18 days ago

chasenorman/premises-mathlib-v4.31.0

updated a dataset 18 days ago

chasenorman/subproofs-mathlib-v4.31.0

published a dataset 18 days ago

chasenorman/premises-mathlib-v4.31.0

View all activity

Organizations

None yet

models 0

None public yet

datasets 7

chasenorman/premises-mathlib-v4.31.0

Viewer • Updated 18 days ago • 676k • 35

chasenorman/subproofs-mathlib-v4.31.0

Viewer • Updated 18 days ago • 437k • 40

chasenorman/rollout-premises-mathlib-v4.30.0

Viewer • Updated May 27 • 2.55k • 11

chasenorman/rollout-subproofs-mathlib-v4.30.0

Viewer • Updated May 27 • 4.14k • 10

chasenorman/premises-mathlib-v4.30.0

Viewer • Updated May 27 • 669k • 95 • 1

chasenorman/subproofs-mathlib-v4.30.0

Viewer • Updated May 27 • 433k • 103 • 1

chasenorman/subproofs-mathlib-v4.29.0

Viewer • Updated Apr 11 • 407k • 9