diff options
| author | Aymeric Fromherz | 2023-09-22 17:27:54 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2023-09-22 17:27:54 +0200 |
| commit | f4e2c2bb09d9d7b54afc0692b7f690f5ec2eb029 (patch) | |
| tree | bc8104aa03e77cc69deb3accf237351b95940a67 /backends/lean/Base/Primitives/Vec.lean | |
| parent | a5f87ba02342ae0b96fe0d8ba16f1ec78469d760 (diff) | |
Add Lean extraction of shl/shr
Diffstat (limited to 'backends/lean/Base/Primitives/Vec.lean')
0 files changed, 0 insertions, 0 deletions