summaryrefslogtreecommitdiff
path: root/backends/coq
diff options
context:
space:
mode:
authorSon Ho2024-04-12 08:39:24 +0200
committerSon Ho2024-04-12 08:39:24 +0200
commit16c23a20072d574ec812b6059978e3a78776c1ca (patch)
treea3d4c36d87c86132c80553d97ed0d19306285a49 /backends/coq
parentba7462d7da5185456298f240f2e6f6dac240cc7e (diff)
Fix a proof
Diffstat (limited to 'backends/coq')
0 files changed, 0 insertions, 0 deletions