Skip to content

Check formal syntax

  • Check if syntax is correct
  • Check if there are extra annotations generated by veriT
  • Make sure it's clear that additional annotations are allowed.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information