Homotopy Type Theory Latest Revisions

• Steve Awodey > history ( Steve Awodey > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:08:32
• Stuart Presnell > history ( Stuart Presnell > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:07:59
• Thierry Coquand > history ( Thierry Coquand > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:07:13
• Taichi Uemura > history ( Taichi Uemura > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:06:41
• Thorsten Altenkirch > history ( Thorsten Altenkirch > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:05:56
• Toby Bartels > history ( Toby Bartels > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:05:21
• Ulrik Buchholtz > history ( Ulrik Buchholtz > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:04:40
• Urs Schreiber > history ( Urs Schreiber > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:04:02
• Vladimir Voevodsky > history ( Vladimir Voevodsky > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:03:34
• Álvaro Pelayo > history ( Álvaro Pelayo > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:03:09
• shape > history ( shape > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:01:15
• Algebra > history ( Algebra > history(rev # 21) | history )
  by Anonymous? at June 15, 2022 at 01:44:50
• function algebra > history ( function algebra > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 01:44:36
• Algebra > history ( Algebra > history(rev # 20) | history )
  by Anonymous? at June 14, 2022 at 21:20:14
• module > history ( module > history(rev # 7) | history )
  by Anonymous? at June 14, 2022 at 21:20:03
• graded module > history ( graded module > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 21:18:41
• geometric algebra > history ( geometric algebra > history(rev # 6) | history )
  by Anonymous? at June 14, 2022 at 21:17:15
• filtered algebra > history ( filtered algebra > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 21:16:13
• quadratic form > history ( quadratic form > history(rev # 5) | history )
  by Anonymous? at June 14, 2022 at 21:02:22
• bilinear function > history ( bilinear function > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 21:02:00
• Clifford algebra > history ( Clifford algebra > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 21:01:07
• compact connected space > history ( compact connected space > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 20:58:46
• geometrically contractible space > history ( geometrically contractible space > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 20:58:30
• Analysis > history ( Analysis > history(rev # 38) | history )
  by Anonymous? at June 14, 2022 at 20:40:10
• real numbers > history ( real numbers > history(rev # 18) | history )
  by Anonymous? at June 14, 2022 at 20:39:54
• computable real numbers > history ( computable real numbers > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 20:38:54
• apartness relation > history ( apartness relation > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 20:31:14
• Algebra > history ( Algebra > history(rev # 19) | history )
  by Anonymous? at June 14, 2022 at 20:29:48
• open interval > history ( open interval > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 20:28:44
• strict order > history ( strict order > history(rev # 7) | history )
  by Anonymous? at June 14, 2022 at 20:27:46
• dense strict order > history ( dense strict order > history(rev # 8) | history )
  by Anonymous? at June 14, 2022 at 20:27:16
• dense relation > history ( dense relation > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 20:26:17
• extended Dedekind cut > history ( extended Dedekind cut > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 20:25:02
• Dedekind real unit interval > history ( Dedekind real unit interval > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 20:22:55
• Dedekind real numbers > history ( Dedekind real numbers > history(rev # 11) | history )
  by Anonymous? at June 14, 2022 at 20:21:57
• Topology > history ( Topology > history(rev # 17) | history )
  by Anonymous? at June 14, 2022 at 20:20:20
• unit interval > history ( unit interval > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 20:19:30
• strongly extensional function > history ( strongly extensional function > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 20:18:21
• lower bounded open interval > history ( lower bounded open interval > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 20:16:35
• upper bounded open interval > history ( upper bounded open interval > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 20:15:43
• closed interval > history ( closed interval > history(rev # 5) | history )
  by Anonymous? at June 14, 2022 at 20:14:54
• real vector space > history ( real vector space > history(rev # 8) | history )
  by Anonymous? at June 14, 2022 at 20:13:11
• real Clifford algebra > history ( real Clifford algebra > history(rev # 5) | history )
  by Anonymous? at June 14, 2022 at 20:09:03
• real geometric algebra > history ( real geometric algebra > history(rev # 5) | history )
  by Anonymous? at June 14, 2022 at 20:06:39
• quadratic form > history ( quadratic form > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 20:03:22
• Topology > history ( Topology > history(rev # 16) | history )
  by Anonymous? at June 14, 2022 at 19:14:33
• compact connected space > history ( compact connected space > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 18:18:51
• geometrically contractible space > history ( geometrically contractible space > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 18:18:12
• Topology > history ( Topology > history(rev # 15) | history )
  by Anonymous? at June 14, 2022 at 18:01:20
• continuous mapping > history ( continuous mapping > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 18:01:06
• homotopy type > history ( homotopy type > history(rev # 5) | history )
  by Anonymous? at June 14, 2022 at 17:51:22
• identity system > history ( identity system > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 17:50:18
• homotopy type theory > history ( homotopy type theory > history(rev # 7) | history )
  by Anonymous? at June 14, 2022 at 17:49:33
• Martin-Loef type theory > history ( Martin-Loef type theory > history(rev # 5) | history )
  by Anonymous? at June 14, 2022 at 17:48:42
• univalent Martin-Loef type theory > history ( univalent Martin-Loef type theory > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 17:47:27
• identity type > history ( identity type > history(rev # 13) | history )
  by Anonymous? at June 14, 2022 at 17:45:45
• axiom R-flat > history ( axiom R-flat > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 17:38:50
• Algebra > history ( Algebra > history(rev # 18) | history )
  by Anonymous? at June 14, 2022 at 17:37:38
• analytic Markov's principle > history ( analytic Markov's principle > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 17:36:52
• intermediate value theorem > history ( intermediate value theorem > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 17:34:42
• contractibility of Dedekind real numbers > history ( contractibility of Dedekind real numbers > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 17:33:35
• Algebra > history ( Algebra > history(rev # 17) | history )
  by Anonymous? at June 14, 2022 at 16:37:12
• module > history ( module > history(rev # 6) | history )
  by Anonymous? at June 14, 2022 at 16:35:57
• monoid > history ( monoid > history(rev # 15) | history )
  by Anonymous? at June 14, 2022 at 16:35:43
• commutative monoid > history ( commutative monoid > history(rev # 10) | history )
  by Anonymous? at June 14, 2022 at 16:33:58
• group > history ( group > history(rev # 9) | history )
  by Anonymous? at June 14, 2022 at 16:32:49
• action > history ( action > history(rev # 9) | history )
  by Anonymous? at June 14, 2022 at 16:30:24
• Topology > history ( Topology > history(rev # 14) | history )
  by Anonymous? at June 14, 2022 at 16:17:54
• double negation > history ( double negation > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 16:17:40
• de Morgan's law > history ( de Morgan's law > history(rev # 3) | history )
  by Anonymous? at June 14, 2022 at 04:43:50
• Whitehead's principle > history ( Whitehead's principle > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 04:43:28
• HomePage ( HomePage(rev # 61) | history )
  by Anonymous? at June 14, 2022 at 04:42:27
• Logic > history ( Logic > history(rev # 6) | history )
  by Anonymous? at June 14, 2022 at 04:42:14
• double negation > history ( double negation > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 04:41:24
• Topology > history ( Topology > history(rev # 13) | history )
  by Anonymous? at June 14, 2022 at 04:40:19
• excluded middle > history ( excluded middle > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 04:37:39
• Logic > history ( Logic > history(rev # 5) | history )
  by Anonymous? at June 14, 2022 at 03:03:27
• limited principle of omniscience > history ( limited principle of omniscience > history(rev # 8) | history )
  by Anonymous? at June 14, 2022 at 03:03:14
• decimal numbers > history ( decimal numbers > history(rev # 9) | history )
  by Anonymous? at June 14, 2022 at 02:32:47
• Logic > history ( Logic > history(rev # 4) | history )
  by Anonymous? at June 14, 2022 at 02:30:47
• de Morgan's law > history ( de Morgan's law > history(rev # 2) | history )
  by Anonymous? at June 14, 2022 at 02:28:50
• limited principle of omniscience > history ( limited principle of omniscience > history(rev # 7) | history )
  by Anonymous? at June 14, 2022 at 02:28:04
• Number theory > history ( Number theory > history(rev # 11) | history )
  by Anonymous? at June 14, 2022 at 01:58:54
• abelian group > history ( abelian group > history(rev # 14) | history )
  by Anonymous? at June 14, 2022 at 01:57:47
• Algebra > history ( Algebra > history(rev # 16) | history )
  by Anonymous? at June 14, 2022 at 01:56:06
• Discrete mathematics > history ( Discrete mathematics > history(rev # 38) | history )
  by Anonymous? at June 13, 2022 at 23:49:00
• series operator > history ( series operator > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 23:47:24
• sequential derivative > history ( sequential derivative > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 23:46:29
• sequential antiderivative > history ( sequential antiderivative > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 23:46:22
• Algebra > history ( Algebra > history(rev # 15) | history )
  by Anonymous? at June 13, 2022 at 23:45:03
• bidirectional sequence > history ( bidirectional sequence > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 23:44:46
• quadratic form > history ( quadratic form > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 23:37:58
• commutative ring > history ( commutative ring > history(rev # 8) | history )
  by Anonymous? at June 13, 2022 at 23:18:41
• commutative monoid > history ( commutative monoid > history(rev # 9) | history )
  by Anonymous? at June 13, 2022 at 23:18:28
• trilinear function > history ( trilinear function > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 23:15:53
• ring > history ( ring > history(rev # 10) | history )
  by Anonymous? at June 13, 2022 at 23:14:25
• abelian group > history ( abelian group > history(rev # 13) | history )
  by Anonymous? at June 13, 2022 at 23:11:24
• group > history ( group > history(rev # 8) | history )
  by Anonymous? at June 13, 2022 at 23:11:10
• monoid > history ( monoid > history(rev # 14) | history )
  by Anonymous? at June 13, 2022 at 23:10:43
• Algebra > history ( Algebra > history(rev # 14) | history )
  by Anonymous? at June 13, 2022 at 22:36:22