summaryrefslogtreecommitdiff
path: root/tests/coq/misc
diff options
context:
space:
mode:
authorSon Ho2023-05-23 11:34:14 +0200
committerSon HO2023-06-04 21:54:38 +0200
commit8478f91d69c3cd01ecc94d9344e4c8294097d4ee (patch)
tree3bb3cdfccbb32863d81a7c422d77ed33a62fdbd0 /tests/coq/misc
parentc823ad32033904fc47cda9a9ae9f3fa3116edc6f (diff)
Make progress on the HOL4 backend
Diffstat (limited to 'tests/coq/misc')
0 files changed, 0 insertions, 0 deletions