Sleeping
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 1 day ago
Hrushi/lean-migrate published a Space 9 days ago
Hrushi/lean-migrate liked a dataset about 1 month ago
neuralnets/multilingual-tinystoriesOrganizations
