summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives
diff options
context:
space:
mode:
authorSon Ho2023-11-09 16:22:09 +0100
committerSon Ho2023-11-09 16:22:09 +0100
commit3a22c56e026ee4488bc5e2d16d2066853ae7ccb9 (patch)
tree33a01390332163a14d6d7d5da1ab3d295fccf3a6 /backends/lean/Base/Primitives
parent9157959cc421c481cf584ada69f51d58da82e8f9 (diff)
Make the traits work for Coq
Diffstat (limited to 'backends/lean/Base/Primitives')
0 files changed, 0 insertions, 0 deletions