rego-proofs.git/xacml-proofs/compiler/bin/dune, branch master Lean proofs for my Master's thesis https://www.git.jakob.space/rego-proofs.git/atom?h=master 2023-12-21T18:20:58Z Check-in remaining files 2023-12-21T18:20:58Z Jakob L. Kreuze 2023-12-21T18:20:58Z urn:sha1:be7067d632aa665c20f96d3b344a84c95b0f8ff8 Proper executable for XACML compiler 2023-12-05T20:50:44Z Jakob L. Kreuze 2023-12-05T20:50:44Z urn:sha1:328d8bf54255ec9be6dd19360ea66b0cb4e0c9e5 Order Lean definitions 2023-10-06T19:52:00Z Jakob L. Kreuze 2023-10-06T19:28:48Z urn:sha1:c97b75dcf67a79bd9b4677181ae0c8e2d211b748 Validate VersionType 2023-10-04T23:41:51Z Jakob L. Kreuze 2023-10-04T23:40:24Z urn:sha1:249150abcfb531c55fafc2e4907b8a6bb90292d4 Initial commit for Xacml translator 2023-09-28T23:12:49Z Jakob L. Kreuze 2023-09-28T23:12:49Z urn:sha1:4cf3d1b15d15d32bd33ac6918ec38fb50db1620b