summaryrefslogtreecommitdiff
path: root/backends/lean/Base/UtilsBase.lean
diff options
context:
space:
mode:
authorSon Ho2024-06-14 14:09:51 +0200
committerSon Ho2024-06-14 14:09:51 +0200
commitadf5c77214cf1cfe14a386f3feefdfa1ebfd1d45 (patch)
treedb83984e3de7d0591eeda63c5017f41104c7db3b /backends/lean/Base/UtilsBase.lean
parente3bde786750009becf4f828370f2e0d242ccf39d (diff)
Update the tests
Diffstat (limited to 'backends/lean/Base/UtilsBase.lean')
0 files changed, 0 insertions, 0 deletions