Closed lindholc closed 6 years ago
Run the LaTiS 2 interpreter against the verifier to see what I got wrong.
I ran the verifier against our server and made tickets to follow up with some of the issues uncovered:
Run the LaTiS 2 interpreter against the verifier to see what I got wrong.