SPA

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  published a dataset about 22 hours ago

DiffLean/kiminaprover-deepscaler

Jforeverss  updated a dataset about 1 month ago

DiffLean/Formal-Proof-Verified

Jforeverss  updated a dataset about 1 month ago

DiffLean/Formal-Proof-Unverified

View all activity

Team members 4