trustworthysystems/camkes-cogent-cogent_verification repository overview

⁠Trustworthy Systems: camkes with cogent and cogent_verification docker image

This variation is no longer maintained. See the main CAmkES repo⁠ for current image variations.