Terry Tao has mad some progress on developing a proof assistant for asymptotic analysis
#mathematics #math #AsymptoticAnalysis #ProofAssistant.
Source: buff.ly/pEuagHN

First, we apologize for missing our posting schedule yesterday. Penn State final were over last Friday, and we spent the weekend daydreaming.
Anyway, Terry Tao would like to see software developed ...
#mathematics #math #AsymptoticAnalysis #software
Source ; buff.ly/CciXn4w