examples « rego-proofs - rego-proofs.git - Lean proofs for my Master's thesis

Mode	Name	Size
-rw-r--r--	01-computable-assign-scalar.general.lean	292	log plain
-rw-r--r--	01-computable-assign-scalar.prune.lean	147	log plain
-rw-r--r--	01-computable-assign-scalar.rego	57	log plain
-rw-r--r--	02-computable-assign-composite.lean	191	log plain
-rw-r--r--	02-computable-assign-composite.rego	80	log plain
-rw-r--r--	03-set-defined-by-predicate.general.lean	254	log plain
-rw-r--r--	03-set-defined-by-predicate.prune.lean	1359	log plain
-rw-r--r--	03-set-defined-by-predicate.rego	196	log plain
-rw-r--r--	04-rule-free-variables.general.lean	356	log plain
-rw-r--r--	04-rule-free-variables.prune.lean	196	log plain
-rw-r--r--	04-rule-free-variables.rego	79	log plain
-rw-r--r--	05-head-subset-rule.general.lean	207	log plain
-rw-r--r--	05-head-subset-rule.prune.lean	115	log plain
-rw-r--r--	05-head-subset-rule.rego	77	log plain
-rw-r--r--	06-complex-set-membership.general.lean	1796	log plain
-rw-r--r--	06-complex-set-membership.prune.lean	1714	log plain
-rw-r--r--	06-complex-set-membership.rego	241	log plain
-rw-r--r--	07-rule-with-dynamic-type.general.lean	595	log plain
-rw-r--r--	07-rule-with-dynamic-type.prune.lean	303	log plain
-rw-r--r--	07-rule-with-dynamic-type.rego	206	log plain
-rw-r--r--	08-object-comprehension.lean	271	log plain
-rw-r--r--	08-object-comprehension.rego	258	log plain
-rw-r--r--	09-simple-policy-combinator.lean	1354	log plain
-rw-r--r--	09-simple-policy-combinator.rego	166	log plain
-rw-r--r--	10-comprehensions.lean	1119	log plain
-rw-r--r--	10-comprehensions.rego	421	log plain
-rw-r--r--	11-with-keyword.rego	245	log plain
-rw-r--r--	12-some-keyword.rego	320	log plain
-rw-r--r--	13-else-keyword.rego	110	log plain