Tag Archives: math

Lean Math

There is a new Lean blog out there and its name certainly implies that it is different than the rest.  Lean Math just launched last week but already has several interesting posts.  Here is what the authors have to say:

Posted in Guest Blog | Tagged , | 2 Comments