index
:
aeneas
isabelle
aeneas rust verifier with a hacky Isabelle backend
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
backends
/
hol4
/
Holmakefile
blob: 3e5606fba8cf09da7a17a449a94238e0f8b62e38 (
plain
)
1
2
3
4
INCLUDES = all: $(DEFAULT_TARGETS) .PHONY: all
