summaryrefslogtreecommitdiff
path: root/tests/hol4/Makefile
diff options
context:
space:
mode:
authorSon HO2024-04-19 08:22:19 +0200
committerGitHub2024-04-19 08:22:19 +0200
commitcaedb227fcf018a5e9e6f5627144a9bf0b5484c3 (patch)
tree466e3049b92b586dd887b6138f7272ca66372fb2 /tests/hol4/Makefile
parent8cd6090128397dd9dccf5bb7c27dd85f318aa3c5 (diff)
parent00fb0b9dee66a5ba012170c3313454934c976d5e (diff)
Merge pull request #146 from RaitoBezarius/main
fix(backends/lean): add a significant amount of keywords
Diffstat (limited to 'tests/hol4/Makefile')
0 files changed, 0 insertions, 0 deletions