3 ms·
RefinedC doesn't have that problem then. That's what is meant by "foundational" in the title.
by sanxiyn 5y ago
RefinedC doesn't have that problem then. That's what is meant by "foundational" in the title.
- wffurr 5y agoOK. That wasn't clear at all from the description of "foundational" in the article, which instead discussed the "trusted computing base" of the provers.