diff options
| author | Son Ho | 2023-07-25 14:08:44 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-25 14:08:44 +0200 |
| commit | 876137dff361620d8ade1a4ee94fa9274df0bdc6 (patch) | |
| tree | d25cb5bf68b53b2f67e67186317f666407d09a04 /backends/coq | |
| parent | c652e97f7ab13164150331b4aa3f2e7ef11d24b9 (diff) | |
Improve int_tac and scalar_tac
Diffstat (limited to 'backends/coq')
0 files changed, 0 insertions, 0 deletions