Snapkitty
/

hyperkitty-constraint-dsl

formal-verification

Model card Files Files and versions

hyperkitty-constraint-dsl / lean /lakefile.lean

SNAPKITTYWEST's picture

push from SNAPKITTYWEST/hyperkitty-constraint-dsl

224e773 verified about 1 month ago

Raw History Blame Contribute Delete

78 Bytes

	import Lake
	open Lake DSL

	package «hyperkitty_formal»

	lean_lib HyperKitty