internlm/Lean-Workbook
Viewer
•
Updated
•
25.2k
•
338
•
28
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
tsuki8's activity
liked
a
dataset
7 months ago