Skip to content

Make sure naming of subterms is described well

  • Describe that (! t :named annotations can be used for sharing.
  • Mention that the namespace is shared with predefined names.
  • Give description of the heuristic used by veriT (see PxTP paper)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information