Skip to content
GitLab
Explore
Sign in
veriT
Alethe
Issues
#21
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