LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

certora-book

A Book on How to do Formal Verification with Certora

OtherEmerging

Stars

14

Forks

4

Contributors

4

Last push

4mo ago

Recent commits

Latest commits.

Merge pull request #14 from RareSkills/fix-link-ownable-(permalink)
82cfd97RareSkills4mo ago
Merge pull request #15 from RareSkills/fix-link-nonces-(permalink)
e10cdc3RareSkills4mo ago
Merge pull request #16 from RareSkills/fix-link-initializable-(permalink)
9923b53RareSkills4mo ago
Update link to Initializable.spec in documentation
22c3a9b0xgreywolf4mo ago
Update links to OpenZeppelin nonces.sol and spec
8f7a94d0xgreywolf4mo ago

fix link: ownable (permalink)

9f3e38c0xgreywolf4mo ago

Merge pull request #12 from RareSkills/remove-unused-images

991c948Jeffrey Scholz4mo ago

Remove unused images that are no longer referenced in blog posts

06f300bsmartcondev4mo ago

Top contributors

Builders behind this project.