summaryrefslogtreecommitdiff
path: root/backends/coq
diff options
context:
space:
mode:
authorSon Ho2023-05-09 08:06:40 +0200
committerSon HO2023-06-04 21:44:33 +0200
commit12dcc49c3199dcd1b2acf4a650a9adc375781306 (patch)
tree565890e5ffc7a9c4b3f21ef88f7c681062a8a231 /backends/coq
parent4aabab31bc2f897a6696f798cac2203916024509 (diff)
Make minor modifications
Diffstat (limited to 'backends/coq')
0 files changed, 0 insertions, 0 deletions