Snapkitty
/

ai-free

october-2026-drop

formal-verification

Model card Files Files and versions

ai-free / backend /wasm /Wasm /Init.lean

Commit History

Oct 7 15 days ago

15:24
October 2026 main drop: mirror from GitHub

SNAPKITTYWEST

Verified signature
f5deffb