summaryrefslogtreecommitdiff
path: root/tests/coq
diff options
context:
space:
mode:
authorSon Ho2023-05-15 10:32:46 +0200
committerSon HO2023-06-04 21:54:38 +0200
commitc6e9e51197833a8685c63e6c40d8eabf4e64c22d (patch)
tree257138e643515e09874f8d7cf6b2e7942622d258 /tests/coq
parent7801bca412767c8b71256ad480ae0e91d3a9392b (diff)
Make minor modifications
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions