3 ms·

Bourbaki!

• otoburb 13y ago
  A more forthcoming Bourbaki since all the HoTT authors are publicly listed. No conjectures needed.
  • keithpeter 13y ago
    Less opportunity for guessing games and amateur sleuthing though. Seriously Bourbaki was the first thing that came into my head when reading the blog post about the book linked to in these comments.