Skip to content
formal verification

Fix Typo in Math.sol #4103

Sign in to view logs

Fix Typo in Math.sol

Fix Typo in Math.sol #4103

Triggered via pull request May 7, 2024 10:08
@dimitriospapathanasioudimitriospapathanasiou
opened #5033
dimitriospapathanasiou:documentation-fix
Status Success
Total duration 16s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
4s
apply-diff
verify
0s
verify
Fit to window
Zoom out
Zoom in