Welcome to Science4All

My name is Lê and I believe that the greatest challenge in education is to make science and math appealing.
This is why I aim at bringing enthusiasm and excitement to the readers’ learning experience.
I now run a Robustly Beneficial wiki, mostly on AI ethics, which has come to fascinate me!

Check my articles
Homotopy Type Theory and Higher Inductive Types Homotopy Type Theory and Higher Inductive Types
By Lê Nguyên Hoang | Updated:2015-12 | Views: 8559
In this article, we explore the possibilities allowed by higher inductive types. They enable a much more intuitive formalization of integers and new mind-blowing definitions of the (homotopical) circle and sphere.