diff options
| author | Son Ho | 2023-09-18 12:25:40 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-18 12:25:40 +0200 |
| commit | 1fc263ec0f527698b2f4d734d9757c9f723d0bee (patch) | |
| tree | 5ad211f79e598a96dd9e867289fc601a2f7e2815 /backends/lean/Base/Diverge/Elab.lean | |
| parent | 888565dd83636522564c6fcae1571735b32125da (diff) | |
Improve scalar_tac
Diffstat (limited to 'backends/lean/Base/Diverge/Elab.lean')
0 files changed, 0 insertions, 0 deletions