/rego-proofs/Rego/

• ../
• .gitignore
• Rego.lean
• lake-manifest.json
• lakefile.lean
• lean-toolchain