File size: 640 Bytes
224e773 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | import Lake
open Lake DSL
package «HyperKitty» where
version := v"1.0.0"
description := "Lean 4 Constraint DSL Parser and Formal Validator"
authors := ["Sovereign Formal Verification Team"]
homepage := "https://github.com/SNAPKITTYWEST/hyperkitty"
repository := "https://github.com/SNAPKITTYWEST/hyperkitty.git"
keywords := ["formal-verification", "constraint", "dsl", "xml", "parser"]
licence := "MIT"
lean_lib HyperKitty where
globs := #[.submodules "HyperKitty"]
lean_exe test_validator where
root := "HyperKitty"
supportInterp := true
lean_exe run_examples where
root := "HyperKitty"
supportInterp := true
|