Code

fixing alex inverse spec#15

Code

Open

MichaelMorami wants to merge 1 commit intochore/migration-npm-deps-to-forgeCertora/gho-core:chore/migration-npm-deps-to-forgefrom certora-npm-to-submodulesCertora/gho-core:certora-npm-to-submodulesCopy head branch name to clipboard

+6-9

Commits

Commits on Feb 19, 2024

• fixing alex inverse spec

  MichaelMorami

  committed
  3081ab9