diff options
author | Son Ho | 2024-04-11 19:05:12 +0200 |
---|---|---|
committer | Son Ho | 2024-04-11 19:05:12 +0200 |
commit | 8894c310cd995f2f1f2abb1ca5232f98aa046274 (patch) | |
tree | b44f8115822ac556b7023c114c8e893f22e5f552 /backends/lean/Base/Tuples.lean | |
parent | 87f3f68df0ae7ec010a7364762a1b852f0cac619 (diff) |
Reformat the code
Diffstat (limited to 'backends/lean/Base/Tuples.lean')
0 files changed, 0 insertions, 0 deletions