LeanMigrate OpenEnv Environment
ðŸ§
Step through Lean migration actions with code and proof inputs
Hrushikesh Pawar
Hrushi
·
AI & ML interests
None yet
Recent Activity
updated a Space 2 days ago
Hrushi/lean-migrate published a Space 9 days ago
Hrushi/lean-migrate liked a dataset about 1 month ago
neuralnets/multilingual-tinystoriesOrganizations
updated a
Space 2 days ago
published a
Space 9 days ago
liked a
dataset about 1 month ago
upvoted a paper 3 months ago
upvoted a collection 3 months ago
liked a
dataset 9 months ago
upvoted a collection 10 months ago
liked a
dataset 11 months ago
upvoted a collection 11 months ago
reactedto onekq's post with 🔥 about 1 year ago
Post
3778
Folks, let's get ready.🥳 We will be busy soon. 😅🤗https://github.com/huggingface/transformers/pull/36878
upvoted a paper about 1 year ago
updated a
collection about 1 year ago
upvoted a paper about 1 year ago
updated a
collection over 1 year ago
updated 2
models over 1 year ago
upvoted a collection over 1 year ago