Snapkitty
/

ai-free

october-2026-drop

formal-verification

Model card Files Files and versions

Commit History

October 2026 main drop: mirror from GitHub

f5deffb
verified

SNAPKITTYWEST commited on about 15 hours ago

initial commit

bba512b
verified

SNAPKITTYWEST commited on about 15 hours ago