summaryrefslogtreecommitdiff
path: root/backends/lean
diff options
context:
space:
mode:
authorAymeric Fromherz2024-05-30 13:01:06 +0200
committerAymeric Fromherz2024-05-30 13:01:06 +0200
commit9a860ae3ac5f0fdd4430ba39315456c0396e55e7 (patch)
tree40b3e7d4fd4ecf8fa3cd4a5ba02d0d5bedaa5588 /backends/lean
parentce8614be6bd96c51756bf5922b5dfd4c59650dd4 (diff)
More lisible sign for proj_right pretty-printing
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions