Giters

hellwolf / certora.nix

Development tooling for Certora Prover.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Development tooling for Certora Prover.

License:MIT License

Languages

Language:Solidity 81.9%Language:Ruby 11.9%Language:Nix 6.2%