summaryrefslogtreecommitdiff
path: root/backends/lean
diff options
context:
space:
mode:
authorSon Ho2023-11-09 13:44:03 +0100
committerSon Ho2023-11-09 13:44:03 +0100
commit38a01551719d0cefdd4a1c21a050674154b0b087 (patch)
treea5df3c2174de4787ab006e71a1fefcc87066a1e7 /backends/lean
parent2438e99c6d5a368da59dfa77a400246a8bc55d39 (diff)
Regenerate the tests
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions