Snapkitty
/

j-matrix-twin

formal-verification

Model card Files Files and versions

Commit History

Metadata: discovery tags (collection, languages)

dd0a4c0
verified

SNAPKITTYWEST commited on 3 days ago

Sync with GitHub, license metadata from LICENSE files, commercial license notice

91d4d1b
verified

SNAPKITTYWEST commited on 3 days ago

push from SNAPKITTYWEST/j-matrix-twin

efc74bf
verified

SNAPKITTYWEST commited on Sep 3

initial commit

16d1397
verified

SNAPKITTYWEST commited on Sep 3