Snapkitty
/

sovereign-array

sovereign-compute

Model card Files Files and versions

sovereign-array / lakefile.lean

SNAPKITTYWEST's picture

chore: convert from dataset to model repo

d0f179a verified 28 days ago

Raw History Blame Contribute Delete

139 Bytes

	import Lake
	open Lake DSL

	package sovereignArray where
	srcDir := "ArrayLang"

	lean_lib «ArrayLang» where
	root := `ArrayLang