diff options
| author | Son Ho | 2023-05-12 21:19:28 +0200 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:54:38 +0200 |
| commit | a15a029d9b885906495a63c0b37dbfe59ec5c065 (patch) | |
| tree | e3ba2b7afd23b1c257c3bf58fb6a705743c55867 /tests/lean/misc-paper | |
| parent | 62699c2ebb2d10301f437ca06961a82c30913405 (diff) | |
Fix minor issues
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions