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