Aperiodical Maths News - <a href="https://lean-fro.org/">The Lean Focused Research Organization has been set up to "advance the formal mathematics revolution".</a> <br> <br> (via <a href="https://functional.cafe/@leanprover/110773589443971737">@leanprover@functional.cafe</a>)

Aperiodical Maths News @mathnews@aperiodical.com July 25, 2023, 9:52 a.m.

1 like

1 boost