If there's one thing I dislike, it's having to admit I'm wrong. Thanks to @oe1cxw for pointing out the flaw in my logic aggregation method. You can read about it here: http://zipcpu.com/formal/2018/12/18/skynet.html …
-
Sounds off to me. In you article as option 3 you mentioned leaving the submodule assertions as assertions. How can these be used when proving other assertions?
-
-
This Tweet is unavailable.
-
Should I interpret this as to mean that you do use previously proven assertions?
- Show replies
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.