Symbol with prime cannot be user-defined
Compilation of the following line fails with messages
Symbol eval'err cannot be user-defined.
Not sure if this is a bug or expected behaviour. Replacing
test'_err resolves the problem.
lemma test'err: true
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information