/CertoraProverSupplementary

Supplementary Material to be used with the Certora Prover

Primary LanguageRuby

Certora Prover Supplementary Material

Examples and utilities to be used with the Certora Prover

see documentation for installation guide, usage manual and language reference