summaryrefslogtreecommitdiff
path: root/tests/coq/demo
diff options
context:
space:
mode:
authorEscherichia2024-04-03 17:52:10 +0200
committerEscherichia2024-04-03 17:52:10 +0200
commit78cc58e3076ffd61add6d78b64371b6eb36d6ab2 (patch)
tree5028b81de17c7d700ee64381e5b80fbf7e54c415 /tests/coq/demo
parenta2a219145587deb0ade9fa7d60171765cd722162 (diff)
resolved requested changes
Diffstat (limited to 'tests/coq/demo')
0 files changed, 0 insertions, 0 deletions