summaryrefslogtreecommitdiff
path: root/tests/lean/misc-paper
diff options
context:
space:
mode:
authorSon Ho2023-05-12 21:19:28 +0200
committerSon HO2023-06-04 21:54:38 +0200
commita15a029d9b885906495a63c0b37dbfe59ec5c065 (patch)
treee3ba2b7afd23b1c257c3bf58fb6a705743c55867 /tests/lean/misc-paper
parent62699c2ebb2d10301f437ca06961a82c30913405 (diff)
Fix minor issues
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions