trustworthysystems/camkes-cakeml repository overview

⁠Trustworthy Systems: camkes with cakeml docker image

This image is deprecated and longer updated. See the main CAmkES repo⁠ for suitable current variations.