Changes between Version 277 and Version 278 of WikiStart


Ignore:
Timestamp:
Nov 16, 2017, 5:52:12 AM (7 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

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