Provide a button to download CBMC #54
Description
For cases where the user does not know where to get CBMC, we should offer a download button.
{{ message }}
For cases where the user does not know where to get CBMC, we should offer a download button.