diff options
| author | Son Ho | 2023-11-09 13:44:03 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-09 13:44:03 +0100 |
| commit | 38a01551719d0cefdd4a1c21a050674154b0b087 (patch) | |
| tree | a5df3c2174de4787ab006e71a1fefcc87066a1e7 /backends/lean | |
| parent | 2438e99c6d5a368da59dfa77a400246a8bc55d39 (diff) | |
Regenerate the tests
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions