summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Diverge.lean
diff options
context:
space:
mode:
authorSon Ho2023-05-12 20:19:35 +0200
committerSon HO2023-06-04 21:54:38 +0200
commiteb7c257b30840ee947e35db0dd90f3d48894e3dc (patch)
treef8f1a1b5f1e90856181c6ee985a8601aab2e7347 /backends/lean/Base/Diverge.lean
parent8a5c5e4ae0cab0ab627c25ece59453a8e4bd4b64 (diff)
Do more cleanup
Diffstat (limited to 'backends/lean/Base/Diverge.lean')
0 files changed, 0 insertions, 0 deletions