Skip to content

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