Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / seb /verification /lean4 /SEB_Verification.lean

Commit History

Sync with GitHub, license metadata from LICENSE files, commercial license notice

ebed3db
verified

SNAPKITTYWEST commited on 4 days ago

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

9425aed
verified

SNAPKITTYWEST commited on Sep 1