Formalica

formalica's activity

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

nnarek 

updated a dataset about 15 hours ago

formalica/lean4oeis

Updated 1 day ago • 62

nnarek 

in formalica/lean4oeis 6 days ago

feat: Add prebuilt LOEIS build cache

#2 opened 6 days ago by

nnarek

feat: Add prebuilt LOEIS build cache

#1 opened 6 days ago by

nnarek

nnarek 

published a dataset 6 days ago

formalica/lean4oeis

Updated 1 day ago • 62