| 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 | |