(28-02-2020, 04:23 PM)nickpelling Wrote: You are not allowed to view links. Register or Login to view.I hope that Rene has seen the outline of a proof for one of these micro-assertions.

I can honestly say that I haven't.
Possibly, however, we will soon have some new tools that would allow to make some further progress.