Snapkitty
/

unlambda-idris-spark

october-2026-drop

lambda-calculus

formal-verification

Model card Files Files and versions

unlambda-idris-spark

4.39 MB

Ctrl+K

Ctrl+K

1 contributor

History: 3 commits

SNAPKITTYWEST's picture

Model card: restore full README from GitHub, add commercial license option

22d7282 verified 4 days ago