Skip to content

Change TRUST rule to hole in Alethe checker and cvc5

The hole rule is now official ;)

  • Change cvc5
  • Change Alethe checker
Edited by Haniel Barbosa
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information