2 ms·
A more forthcoming Bourbaki since all the HoTT authors are publicly listed. No conjectures needed.
by otoburb 13y ago
A more forthcoming Bourbaki since all the HoTT authors are publicly listed. No conjectures needed.
- keithpeter 13y agoLess 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.