Eshaan's picture

2

Eshaan

eshaanb

·

AI & ML interests

None yet

Recent Activity

new activity 26 days ago

StanfordAILean/c-py-dataset:Upload 107 C/Python-to-Lean4 formalizations

new activity 26 days ago

StanfordAILean/c-py-dataset:Add dataset README

published a dataset about 1 month ago

StanfordAILean/c-py-dataset

View all activity

Organizations

New activity in StanfordAILean/c-py-dataset 26 days ago

Upload 107 C/Python-to-Lean4 formalizations

#4 opened 26 days ago by

Add dataset README

#5 opened 26 days ago by