Snapkitty
/

ai-free

october-2026-drop

formal-verification

Model card Files Files and versions

ai-free / formal /WordDialect /Depth.lean

Commit History

Oct 13 16 days ago

01:07
Sync from GitHub at 25c8330: hardware-in-the-loop rig, SAM D21 board, guard elimination on RV32/Cortex-M3

SNAPKITTYWEST

Verified signature
0e9783b