/rego-proofs/examples/
../
01-computable-assign-scalar.general.lean
01-computable-assign-scalar.prune.lean
01-computable-assign-scalar.rego
02-computable-assign-composite.lean
02-computable-assign-composite.rego
03-set-defined-by-predicate.general.lean
03-set-defined-by-predicate.prune.lean
03-set-defined-by-predicate.rego
04-rule-free-variables.general.lean
04-rule-free-variables.prune.lean
04-rule-free-variables.rego
05-head-subset-rule.general.lean
05-head-subset-rule.prune.lean
05-head-subset-rule.rego
06-complex-set-membership.general.lean
06-complex-set-membership.prune.lean
06-complex-set-membership.rego
07-rule-with-dynamic-type.general.lean
07-rule-with-dynamic-type.prune.lean
07-rule-with-dynamic-type.rego
08-object-comprehension.lean
08-object-comprehension.rego
09-simple-policy-combinator.lean
09-simple-policy-combinator.rego
10-comprehensions.lean
10-comprehensions.rego
11-with-keyword.rego
12-some-keyword.rego
13-else-keyword.rego