Formal verification of Account (7702+7579)

[Amxx]

No description provided.

[changeset-bot]

⚠️ No Changeset found

Latest commit: f4d6bbb

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	pypi/​certora-cli@​4.13.1 ⏵ 7.31.0	-4				-30

View full report

[Amxx]

These specs pass ! https://prover.certora.com/output/71959/de382212ccb3440e92693f187ca74e93?anonymousKey=5f06da9b8474ce1aaa13d57841d641d64db70476

@ernestognw WDYT ?
@arr00 @james-toussaint @gonzaotc, you should try to have a look. Its ok if you don't understand. Ask questions !