diff options
| author | Son Ho | 2024-03-08 10:42:10 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 10:42:10 +0100 |
| commit | a7452421be018e5d75065e2038f2f50042a80f3c (patch) | |
| tree | 700439fbe96ea5980216e06b388e863ed8ac314b /backends/lean/Base/Arith.lean | |
| parent | 5427563a8000f281ac614a2501fb9983beb44f21 (diff) | |
Update the code generated for tuple projectors
Diffstat (limited to 'backends/lean/Base/Arith.lean')
0 files changed, 0 insertions, 0 deletions