summaryrefslogtreecommitdiff
path: root/backends/coq
diff options
context:
space:
mode:
authorSon Ho2022-11-29 18:06:14 +0100
committerSon HO2023-02-03 11:21:46 +0100
commit2fd26635f6988ec1e3bfa4340e68100d36ce91ae (patch)
tree01cbe7669af4d6798ea42d7fe160189c8e709fbc /backends/coq
parent46559fe607925ba45e720c83f538aa39d9db06d2 (diff)
Make more progress
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions