3 ms·Thanks for the summary. However, what do we have on the formal proof side?by xjia 11y agoThanks for the summary. However, what do we have on the formal proof side?