-
Matt Solomon authored
ctb(proofs): switch to running OptimismPortal2 proofs, since that portal is used in production (#11545)
7c83398b
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| deployment | ||
| proofs | ||
| scripts | ||
| README.md | ||
| pausability-lemmas.md |
ctb(proofs): switch to running OptimismPortal2 proofs, since that portal is used in production (#11545)
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| deployment | ||
| proofs | ||
| scripts | ||
| README.md | ||
| pausability-lemmas.md |