haoshen
tsuki8
ยท
AI & ML interests
None yet
Recent Activity
new activity
23 days ago
internlm/Lean-Workbook:the version of Lean4 used by lean workbook
upvoted
a
collection
23 days ago
LEAN4-Related
updated
a collection
23 days ago
LEAN4-Related
Organizations
models
None public yet
datasets
None public yet