diff options
| author | Nadrieril | 2024-05-23 09:58:36 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
| commit | 9e834db4174a900845199ccb189b575a20f11eda (patch) | |
| tree | a8ccbbad52a3e1c75ac3c338824b430b82f67179 /backends/lean/Base/Arith | |
| parent | a9471e615e03d6fa0bc1594176fe504c9a3c88ae (diff) | |
Cleanup test runner
Diffstat (limited to 'backends/lean/Base/Arith')
0 files changed, 0 insertions, 0 deletions