Evan Chen • Napkin

december 2017 by lilulo

The Napkin project is a personal exposition project of mine aimed at making higher math accessible to high school students

math
book
december 2017 by lilulo

garth-wells/IA-maths-Jupyter

september 2017 by lilulo

Jupyter notebooks to support IA maths teaching

math
ai
september 2017 by lilulo

Qeditas

november 2016 by lilulo

Qeditas is a project to apply block chain technology to support the construction of a library of formalized mathematics.

It is intended to be a realization (or possibly revival) of the QED project, as described in the QED Manifesto.

math
It is intended to be a realization (or possibly revival) of the QED project, as described in the QED Manifesto.

november 2016 by lilulo

**related tags**

Copy this bookmark: