Giters

MathisGD / CertoraProverSupplementary

Supplementary Material to be used with the Certora Prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Certora Prover Supplementary Material

Examples and utilities to be used with the Certora Prover

see documentation for installation guide, usage manual and language reference

About

Supplementary Material to be used with the Certora Prover

Languages

Language:Ruby 60.2%Language:Solidity 39.1%Language:Python 0.4%Language:Shell 0.3%