Formalica

AI & ML interests

None defined yet.

Recent Activity

nnarek  published a dataset 9 days ago

formalica/lean4oeis-working-dbs

nnarek  updated a dataset 9 days ago

formalica/lean4oeis

nnarek  new activity about 2 months ago

formalica/lean4oeis:feat: Add prebuilt LOEIS build cache

View all activity

Team members 1