Snapkitty
/

lean-llm-starter

sovereign-compute

Model card Files Files and versions

lean-llm-starter / lean4 /src /SovereignCorpus /Core.lean

SNAPKITTYWEST's picture

chore: convert from dataset to model repo

fc2d127 verified about 1 month ago

Raw History Blame Contribute Delete

80 Bytes

	namespace SovereignCorpus

	def version : String := "0.1.0"

	end SovereignCorpus