Snapkitty
/

pure-validity

formal-verification

Model card Files Files and versions

pure-validity / backends /nand_bridge.py

Commit History

Sep 3

08:37
push from SNAPKITTYWEST/pure-validity

SNAPKITTYWEST

Verified signature
56de343