Start adding gradlemma to finish proof of univalence
authorAnders Mörtberg <mortberg@chalmers.se>
Wed, 17 Jun 2015 09:09:09 +0000 (11:09 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Wed, 17 Jun 2015 09:09:09 +0000 (11:09 +0200)
commitf3aa53095a4100e209be8547f5b49520fec4ff44
tree2aa0e0baa612f447e2693d0931f55d47a7edf47a
parent66b30d8b4eff7efff38010377e06b910172bbe2e
Start adding gradlemma to finish proof of univalence
examples/univ.ctt