rego-proofs.git/benchmarks, 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