Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / seb /verification /lean4 /lean-toolchain

SNAPKITTYWEST's picture

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

ebed3db verified 1 day ago

Raw History Blame Contribute Delete

24 Bytes

	leanprover/lean4:v4.7.0