Closed DemiMarie closed 5 years ago
Demi this PR has become far too large, probably because we haven't been keeping up with your work and you haven't been able to commit your changes directly.
If @afck and everyone else agrees I think we should rebase-merge this now, as-is, and make any needed corrections later.
@c0gent I don’t think rebasing is necessary. There should be no commits in master
that are not in this branch.
No I just meant that I didn't want a merge commit. In other words it will fast forward merge.
Demi, go ahead and do a "Rebase and merge" with this PR. You can then either push commits to master directly or create a PR if you want help or a review.
Both types of proofs are working. Verification is also working.