The avatar for @eric-wieser

Eric Wieser

http://ericwieser.me

Public notebooks

Showing all 2 notebooks
thumbnail
Graph of Lean imports in lean-ga This notebook is a fork
The avatar for @eric-wieser
Eric Wieser
Dec 1, 2020• 1
thumbnail
Slides This notebook is a fork
The avatar for @eric-wieser
Eric Wieser
Jul 29, 2020• 2