iiis-lean

community

https://github.com/iiis-lean

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

xukp20 updated a dataset about 4 hours ago

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

xukp20 published a dataset 1 day ago

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

xukp20 updated a dataset about 1 month ago

iiis-lean/NuminaMath-LEAN-Sol

View all activity

iiis-lean 's models

None public yet