iiis-lean

community

https://github.com/iiis-lean

Activity Feed Request to join this org

AI & ML interests

None defined yet.

models 0

None public yet

datasets 3

iiis-lean/lean-math-formal-corpus

Viewer • Updated Mar 16 • 8.63k • 117

iiis-lean/NuminaMath-LEAN-Proof-Artifacts

Viewer • Updated Mar 9 • 73.4k • 45

iiis-lean/NuminaMath-LEAN-Sol

Viewer • Updated Jan 23 • 81.3k • 17