Closed JasonBernert closed 7 years ago
Ran the verifier and both passed. I ended up doing both by hand. Couldn't think of a way that would be programmatically efficiently. This should get us close to closing issue #74!
Ran the verifier and both passed. I ended up doing both by hand. Couldn't think of a way that would be programmatically efficiently. This should get us close to closing issue #74!