Changes between Version 277 and Version 278 of WikiStart


Ignore:
Timestamp:
Nov 16, 2017, 5:52:12 AM (4 weeks ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v277 v278  
    3838
    3939* Ben Lippmeier: Cubical Type Theory
    40 * Speaker to be decided.
    4140
    4241