summaryrefslogtreecommitdiff
path: root/backends/hol4
diff options
context:
space:
mode:
authorSon Ho2023-06-13 16:22:08 +0200
committerSon Ho2023-06-13 16:22:08 +0200
commitef6204e1e1b0a21975fcd9e3d0e5aa7ec3d9125f (patch)
treeef0beda0a204970140f4cd4b5ae684f45e9205e8 /backends/hol4
parentc034a7ea1335705ca1e1a7461fac257df6757d57 (diff)
Find sufficient validity criteria for Diverge.lean
Diffstat (limited to 'backends/hol4')
0 files changed, 0 insertions, 0 deletions