ABRAMAR SOLUTION's picture

6

ABRAMAR SOLUTION

7rouz

·

AI & ML interests

None yet

Recent Activity

new activity about 9 hours ago

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

updated a dataset about 12 hours ago

7rouz/atomic-formal-reasoning-complex

published a dataset about 12 hours ago

7rouz/atomic-formal-reasoning-complex

View all activity

Organizations

None yet

models 0

None public yet

datasets 4

7rouz/atomic-formal-reasoning-complex

Viewer • Updated about 11 hours ago • 9 • 7

7rouz/lean4

Viewer • Updated Feb 10 • 1 • 14

7rouz/Complex_Number_Exercises_for_AI_Training

Viewer • Updated Jan 24 • 1 • 4

7rouz/complex-numbers-exercises-1000

Viewer • Updated Jan 7 • 1 • 37