Here are three things we noticed this month which didn’t get a proper write-up, due to thesis/Edinburgh fringe/holidays: a big proof, a fun maths book club, and a ridiculous bit of pi-related madhattery.

# You're reading: Posts Tagged: github

### Homotopy Type Theory: a new foundation for 21st-century mathematics

Pretty big book news (in a couple of ways)! The Univalent Foundations Program at the Institute for Advanced Study in Princeton has released a 470-page textbook resetting the foundations of mathematics on homotopy type theory. It’s calledÂ *Homotopy Type Theory: Univalent Foundations of Mathematics*.

### Help a dude write an open-source calculus textbook (or use one of the many great ones already available)

A chap called Dixon Crews has posted to reddit’s maths section asking for help with a writing project.