diff options
| author | Son Ho | 2024-06-12 14:53:12 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-12 14:53:12 +0200 |
| commit | cd5542fc82edee11181a43e3a342a2567c929e7e (patch) | |
| tree | 45cea441e0a493b67bb33d82c083905524c923b0 /backends/lean/Base/Primitives.lean | |
| parent | c8272aeea205ca9cb36e22757473ca2a931a4933 (diff) | |
Regenerate the tests
Diffstat (limited to 'backends/lean/Base/Primitives.lean')
0 files changed, 0 insertions, 0 deletions