← Back to repositories

Certora/Examples

github.com/Certora/Examples ↗

Solidity

Stars

⭐ 207

PRs Reviewed

1

Bot Comments

1

Primary Language

Solidity

Merge Rate

100.0%

Avg Time to Merge

8d

Avg Additions

+24

Avg Deletions

-20

Avg Files Changed

1

AI Review Products#

AI code review products active on this repository.