Skip to content
GitLab
Explore
Sign in
veriT
Alethe
Issues
#16
Better notation to represent args and premisses, don't use i, j in premesses and listed terms
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information