Snapkitty
/

pure-validity

formal-verification

Model card Files Files and versions

pure-validity / backends /__pycache__ /nand_bridge.cpython-312.pyc

SNAPKITTYWEST's picture

push from SNAPKITTYWEST/pure-validity

56de343 verified about 2 months ago

History Contribute Delete

11.5 kB

This file contains binary data. It cannot be displayed, but you can still download it.