Skip to main content
3 events
when toggle format what by license comment
Aug 3, 2020 at 11:18 comment added Ivan Di Liberti I really appreciate that you challenged my answer. I'll bring a gauntlet at the next conference. Get ready to fight.
Jul 28, 2020 at 16:52 comment added Kevin Carlson HoTT water, hah!
Jul 28, 2020 at 16:10 history answered Mike Shulman CC BY-SA 4.0