Stanford AI Lean Club

community

https://aiforlean.org/

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

eshaanb new activity 1 day ago

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

eshaanb new activity 1 day ago

StanfordAILean/c-py-dataset:Add dataset README

eshaanb published a dataset 9 days ago

StanfordAILean/c-py-dataset

View all activity

StanfordAILean 's models

None public yet