2 ms·Not necessarily proof-heavy, but at least with formally rigorous definitions and theorems.by layer8 1y agoNot necessarily proof-heavy, but at least with formally rigorous definitions and theorems.