3 ms·The type theory of Lean is certainly rich enough thoughby nextaccountic 3mo agoThe type theory of Lean is certainly rich enough though