summaryrefslogtreecommitdiff
path: root/tests/lean/misc
diff options
context:
space:
mode:
authorSon Ho2024-06-05 17:51:36 +0200
committerSon Ho2024-06-05 17:51:36 +0200
commita4dd9fe0598328976862868097f59207846d865c (patch)
tree80cc3d5db32d7198adbdf89e516484dc01e58186 /tests/lean/misc
parente6d04cf1a73533ae80a68d9ef5f34a9e832e77a3 (diff)
Regenerate the Coq and Lean betrees
Diffstat (limited to 'tests/lean/misc')
0 files changed, 0 insertions, 0 deletions