3 ms·
See also Terence Tao's blog posts detailing how he's using Lean 4: https://terrytao.wordpress.com/tag/lean4/ https://terrytao.wordpress.com/tag/lean4/
by bertman 3y ago
See also Terence Tao's blog posts detailing how he's using Lean 4:
https://terrytao.wordpress.com/tag/lean4/ https://terrytao.wordpress.com/tag/lean4/