Skip to content
GitLab
Explore
Sign in
veriT
Alethe
Issues
#24
Document design considerations of the format
It should be clear what our design considerations are:
Readable
SMT-LIB based
Flexible
Fine grained
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information