Stanford Lean Club

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

eshaanb new activity about 1 month ago

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

eshaanb new activity about 1 month ago

StanfordLeanClub/c-py-dataset:Add dataset README

eshaanb published a dataset about 1 month ago

StanfordLeanClub/c-py-dataset

View all activity

models 0

None public yet

datasets 2

StanfordLeanClub/c-py-dataset

Viewer • Updated Apr 13 • 107 • 44

StanfordLeanClub/veribench-training-data

Viewer • Updated Feb 28 • 1.67k • 871