summaryrefslogtreecommitdiff
path: root/backends/lean/lean-toolchain
diff options
context:
space:
mode:
authorSon Ho2023-11-29 15:45:27 +0100
committerSon Ho2023-11-29 15:45:27 +0100
commitdc4b11689131bdb41a43e5aca76538556a3a120c (patch)
tree513cd1909faa9b0316a0e6f6be2fa88b7a1e90a7 /backends/lean/lean-toolchain
parent0273fee7f6b74da1d3b66c3c6a2158c012d04197 (diff)
Add support for more bitwise operations and update the extraction
Diffstat (limited to 'backends/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions