Explore >> Select a destination
|
You are here 
|
divisbyzero.com | ||
| | | | |
ncatlab.org
|
|
| | | | | [AI summary] Mike Shulman, a Professor, discusses his academic work in homotopy type theory, higher inductive types, and related mathematical concepts through selected writings and talks. | |
| | | | |
thetelltalemind.com
|
|
| | | | | https://www.youtube.com/watch?v=UwsXff4Vl-0 nothing,nowhere. has made a lot of great music over the years but fake friend just might be their best yet. | |
| | | | |
mathwithbaddrawings.com
|
|
| | | | | This generalizes, of course, to the Theorem of How You Learn Stokes' Theorem. | |
| | | | |
clutterreport.wordpress.com
|
|
| | | attempting to clean up my living and workspace | ||
