StanfordAILean/c-py-dataset
Viewer • Updated • 107 • 26
Eshaan
eshaanb
·
AI & ML interests
None yet
Recent Activity
new activity 2 days ago
StanfordAILean/c-py-dataset:Upload 107 C/Python-to-Lean4 formalizations new activity 2 days ago
StanfordAILean/c-py-dataset:Add dataset README published a dataset 9 days ago
StanfordAILean/c-py-datasetOrganizations
Upload 107 C/Python-to-Lean4 formalizations
#4 opened 2 days ago
by 
brando
Add dataset README
#5 opened 2 days ago
by brando
published a
dataset 9 days ago