ABRAMAR SOLUTION's picture

6

ABRAMAR SOLUTION

7rouz

·

AI & ML interests

None yet

Recent Activity

new activity about 6 hours ago

7rouz/atomic-formal-reasoning-complex:[bot] Conversion to Parquet

updated a dataset about 8 hours ago

7rouz/atomic-formal-reasoning-complex

published a dataset about 9 hours ago

7rouz/atomic-formal-reasoning-complex

View all activity

Organizations

None yet

7rouz 's datasets 4

7rouz/atomic-formal-reasoning-complex

Updated about 8 hours ago

7rouz/lean4

Viewer • Updated Feb 10 • 1 • 15

7rouz/Complex_Number_Exercises_for_AI_Training

Viewer • Updated Jan 24 • 1 • 5

7rouz/complex-numbers-exercises-1000

Viewer • Updated Jan 7 • 1 • 38