Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / haskell /.stack-work /dist /eebe39f7 /stack-setup-config-mod

SNAPKITTYWEST's picture

chore: push full sov-kernel-monster content from local build

9425aed verified about 1 month ago

Raw History Blame Contribute Delete

35 Bytes

Just used for its modification time