ummagumm-a/theorems-critic-proved_or_not-w-lean_workbook_dedup
Viewer
•
Updated
•
1.16M
•
498
Viacheslav
ummagumm-a
AI & ML interests
None yet
Recent Activity
updated
a dataset
17 days ago
ummagumm-a/theorems-critic-proved_or_not-w-lean_workbook_dedup
updated
a dataset
23 days ago
ummagumm-a/pos_neg5_split
updated
a dataset
24 days ago
ummagumm-a/theorems-critic-proved_or_not-w-lean_workbook_dedup
Organizations
None yet
ummagumm-a's activity
updated
a
dataset
17 days ago
updated
a
dataset
23 days ago
updated
2
datasets
24 days ago