summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Diverge/ElabBase.lean
diff options
context:
space:
mode:
authorSon Ho2024-06-12 18:20:52 +0200
committerSon Ho2024-06-12 18:20:52 +0200
commitd36736fa4e7eb9f42f35303b8080d17ddbee92d2 (patch)
treeaa14af61056233f309cdedf138604f7ac0ba443f /backends/lean/Base/Diverge/ElabBase.lean
parentd85d160ae9736f50d9c043b411c5a831f1fbb964 (diff)
Revert "Update the scalar notation for the Lean backend"
This reverts commit c8272aeea205ca9cb36e22757473ca2a931a4933.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions