summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-constants
diff options
context:
space:
mode:
authorSon HO2024-01-27 21:51:38 +0100
committerGitHub2024-01-27 21:51:38 +0100
commit689954a5c84c29c9b86f02e5009f286d909c355c (patch)
tree0e801b5e01eda423d49bdb0a43cff11d65e78bb1 /tests/hol4/misc-constants
parent202f0153dc51983e6bc0eddb65d22c763579850c (diff)
parentd8247d99520738188bbd160be7de03550f8156ce (diff)
Merge pull request #66 from AeneasVerif/son/lean
Improve the Lean backend
Diffstat (limited to 'tests/hol4/misc-constants')
0 files changed, 0 insertions, 0 deletions