aboutsummaryrefslogtreecommitdiff
path: root/rego-proofs
diff options
context:
space:
mode:
authorJakob L. Kreuze2023-12-22 12:50:11 -0500
committerJakob L. Kreuze2023-12-22 12:50:11 -0500
commit76f7c8f2096b8e9fb4243aab379fbf49780733c2 (patch)
treeba08363f25be9303bc8066fe670995fe07b2240c /rego-proofs
parent4c32b7cb1a3efb1324a5421182a5c01cb94dd8cc (diff)
Prove remaining `sorry' statementsHEADmaster
Diffstat (limited to 'rego-proofs')
0 files changed, 0 insertions, 0 deletions

© 2015 - 2026 Jakob L. Kreuze