Snapkitty
/

sov-kernel-monster

sovereign-compute

formal-verification

Model card Files Files and versions

sov-kernel-monster / lean /lean-toolchain

SNAPKITTYWEST's picture

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

9425aed verified 28 days ago

Raw History Blame Contribute Delete

26 Bytes

	leanprover/lean4:v4.14.0