Homotopy Type Theory Latest Revisions

• 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
• monoid > history ( monoid > history(rev # 13) | history )
  by Anonymous? at June 13, 2022 at 22:33:54
• action > history ( action > history(rev # 8) | history )
  by Anonymous? at June 13, 2022 at 22:33:04
• ring > history ( ring > history(rev # 9) | history )
  by Anonymous? at June 13, 2022 at 22:31:04
• Algebra > history ( Algebra > history(rev # 13) | history )
  by Anonymous? at June 13, 2022 at 21:58:49
• magma > history ( magma > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 21:58:31
• power-associative magma > history ( power-associative magma > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 21:57:40
• rational root theorem > history ( rational root theorem > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 21:53:18
• function algebra > history ( function algebra > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 21:52:49
• power function > history ( power function > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 21:52:35
• polynomial function > history ( polynomial function > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 21:51:20
• square function > history ( square function > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 21:34:08
• quadratic function > history ( quadratic function > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 21:32:58
• torsion-free divisible group > history ( torsion-free divisible group > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 21:31:46
• Q-algebra > history ( Q-algebra > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 21:31:32
• Z-algebra > history ( Z-algebra > history(rev # 12) | history )
  by Anonymous? at June 13, 2022 at 21:18:51
• abelian group > history ( abelian group > history(rev # 12) | history )
  by Anonymous? at June 13, 2022 at 21:17:12
• power function > history ( power function > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 21:15:51
• ring > history ( ring > history(rev # 8) | history )
  by Anonymous? at June 13, 2022 at 21:15:05
• unital Z-algebra > history ( unital Z-algebra > history(rev # 6) | history )
  by Anonymous? at June 13, 2022 at 21:14:32
• divisible group > history ( divisible group > history(rev # 5) | history )
  by Anonymous? at June 13, 2022 at 20:42:40
• Z-algebra > history ( Z-algebra > history(rev # 11) | history )
  by Anonymous? at June 13, 2022 at 20:09:29
• algebra (ring theory) > history ( algebra (ring theory) > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 20:09:16
• commutative algebra (ring theory) > history ( commutative algebra (ring theory) > history(rev # 3) | history )
  by Anonymous? at June 13, 2022 at 20:08:55
• Algebra > history ( Algebra > history(rev # 12) | history )
  by Anonymous? at June 13, 2022 at 20:08:21
• algebra (module theory) > history ( algebra (module theory) > history(rev # 6) | history )
  by Anonymous? at June 13, 2022 at 20:08:08
• diagonal > history ( diagonal > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 19:44:39
• torsion-free divisible group > history ( torsion-free divisible group > history(rev # 2) | history )
  by Anonymous? at June 13, 2022 at 19:42:58
• divisible group > history ( divisible group > history(rev # 4) | history )
  by Anonymous? at June 13, 2022 at 19:42:18