Eshaan
eshaanb
ยท
AI & ML interests
None yet
Recent Activity
new activity about 1 month ago
StanfordLeanClub/c-py-dataset:Upload 107 C/Python-to-Lean4 formalizations new activity about 1 month ago
StanfordLeanClub/c-py-dataset:Add dataset README published a dataset about 1 month ago
StanfordLeanClub/c-py-datasetOrganizations
