Snapkitty
/

sovereign-agi-kernel

Model card Files Files and versions

sovereign-agi-kernel / lean /lean-toolchain

SNAPKITTYWEST's picture

push from SNAPKITTYWEST/sovereign-agi-kernel

1cdfc83 verified about 2 months ago

Raw History Blame Contribute Delete

26 Bytes

	leanprover/lean4:v4.14.0