diff options
| author | Son Ho | 2024-03-18 02:05:58 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-18 02:05:58 +0100 |
| commit | 5a1317e51a5854699befb3b470bc346551b1691a (patch) | |
| tree | dace8d3ad93e90612e18b72fad0bbbb0e603649a /backends/lean/Base/UtilsBase.lean | |
| parent | d0b3cd8a2fb6a55ff910fde4476c0ae4417b810d (diff) | |
Regenerate the test files
Diffstat (limited to 'backends/lean/Base/UtilsBase.lean')
0 files changed, 0 insertions, 0 deletions