Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / lean /.lake /lakefile.olean.trace

Commit History

Sep 1

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

SNAPKITTYWEST

Verified signature
9425aed