LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Solidity

halmos-solady

Formally verifying consistency between Solmate and Solady using Halmos

SolidityEmerging

Stars

—

Forks

—

Contributors

3

Last push

22mo ago

Recent commits

Latest commits.

Merge pull request #1 from jeffreyscholz/verify-log2
814fb8dJeffrey Scholz22mo ago
formally verify Solady log2 implementation
3edc51dJeffrey Scholz22mo ago
Merge pull request #1 from daejunpark/update
ac6fd1fZach Obront35mo ago
fix paths + rename tests
f71f980Daejun Park35mo ago
typo
6b4a7afZach Obront40mo ago

readme details

1060250Zach Obront40mo ago

12c6efbZach Obront40mo ago

readme formatting

ba46782Zach Obront40mo ago

Top contributors

Builders behind this project.