Snapkitty
/

sovereign-array

sovereign-compute

formal-verification

Model card Files Files and versions

sovereign-array / ArrayLang /APLKernel.lean

Commit History

Oct 7 13 days ago

16:23
Sync with GitHub, license metadata from LICENSE files, commercial license notice⁠

SNAPKITTYWEST

Verified signature
5affcce