Stanford Lean Club

StanfordLeanClub's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

eshaanb 

in StanfordLeanClub/c-py-dataset about 1 month ago

Upload 107 C/Python-to-Lean4 formalizations

#4 opened about 1 month ago by

brando

Add dataset README

#5 opened about 1 month ago by

brando

eshaanb 

published a dataset about 1 month ago

StanfordLeanClub/c-py-dataset

Viewer • Updated Apr 13 • 107 • 44

vatsava 

updated a dataset 3 months ago

StanfordLeanClub/veribench-training-data

Viewer • Updated Feb 28 • 1.67k • 871

vatsava 

published a dataset 3 months ago

StanfordLeanClub/veribench-training-data

Viewer • Updated Feb 28 • 1.67k • 871