Closed aljones15 closed 2 months ago
Looks like this PR also includes #34, it makes it difficult to see what belongs to this PR
I retargeted it to point at PR 34. Sorry about that.
@TallTed also need re-review here when ready.
this PR has been dangling for 2 weeks
Hardly. It's been actively worked on for 2 weeks. It might be considered to have "dangled" for 1 day (since @PatStLouis's approving review), but I think that the "dangling" time is closer to 2 hours, which was more like 1 hour when the above line was written.
this PR has been dangling for 2 weeks
Hardly. It's been actively worked on for 2 weeks. It might be considered to have "dangled" for 1 day (since @PatStLouis's approving review), but I think that the "dangling" time is closer to 2 hours, which was more like 1 hour when the above line was written.
my apologies @TallTed and no offense meant.
Accepted.
Adds an invalid created test for the base and by extension derived proof.
TODO
proof.created
.