Snapkitty
/

sovereign-array

sovereign-compute

formal-verification

Model card Files Files and versions

sovereign-array / ArrayLang /ConsistencyCheck.lean

Commit History

Sep 1

21:10
chore: convert from dataset to model repo

SNAPKITTYWEST

Verified signature
d0f179a