@dougo.eth

My question now is whether to put time into Halmos or Certora? Which one will "win" in the Dev community? Halmos seems easier to use & learn, but at the cost of depth & breadth of features compared to Certora.

1 reply

0 recast

0 reaction