trustworthysystems/l4v-cogent-cogent_verification repository overview

⁠Trustworthy Systems: l4v with cogent and cogent_verification docker image

This image contains all the tools and dependencies to build l4v. This particular image also comes with the dependencies to build with cogent and cogent_verification as well.

This image is no longer maintained.