summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorSon Ho2023-05-12 18:56:39 +0200
committerSon HO2023-06-04 21:54:38 +0200
commitc49fd4b6230a1f926e929f133794b6f73d338077 (patch)
tree85de1862bbfb7f79bbe0b83722ae76ef1a52dead /backends/lean/Base
parent2e5415364d3ad61a524980621d25713aa31f6e79 (diff)
Reimplement DefineDiv with the new fixed point operator
Diffstat (limited to 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions