3 ms·
Not if that language doesn't actually check the totality of your proof and ensures that the base case holds.
by Quekid5 1y ago
Not if that language doesn't actually check the totality of your proof and ensures that the base case holds.
- almostgotcaught 1y agoi don't know what you're saying - here is the proof that is described in the article: 1. build a table tab[n] 2. check that for every i, tab[i] == maxDollars_spec[i] if you take the latter approach i proposed (bottom up) there is nothing to check the totality of.
- deleted 1y ago[deleted]