GitHub repository: Certora/CertoraProverSupplementary
Primary language: Ruby
Description: Supplementary Material to be used with the Certora Prover