rego-proofs.git/xacml-proofs/lean/Xacml.lean.bak, branch master Lean proofs for my Master's thesis https://www.git.jakob.space/rego-proofs.git/atom?h=master 2023-12-21T18:11:44Z Check-in 2023-12-21 2023-12-21T18:11:44Z Jakob L. Kreuze 2023-12-21T18:11:44Z urn:sha1:5918f84a1a05881d93d9fab83104feca9981bfaa Initial commit 2023-09-12T22:45:53Z Jakob L. Kreuze 2023-07-21T19:36:07Z urn:sha1:277859d1487dea8b1c689bdaafd6252bca2e70b3