Homotopy Type Theory Latest Revisions

• functional relation > history ( functional relation > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 20:54:02
• entire relation > history ( entire relation > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 20:52:01
• Algebra > history ( Algebra > history(rev # 23) | history )
  by Anonymous? at June 15, 2022 at 20:46:43
• partial function > history ( partial function > history(rev # 7) | history )
  by Anonymous? at June 15, 2022 at 20:45:40
• multivalued function > history ( multivalued function > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 20:44:15
• effective epic function > history ( effective epic function > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 20:42:33
• Discrete mathematics > history ( Discrete mathematics > history(rev # 40) | history )
  by Anonymous? at June 15, 2022 at 20:40:00
• decidable setoid > history ( decidable setoid > history(rev # 6) | history )
  by Anonymous? at June 15, 2022 at 20:39:46
• setoid > history ( setoid > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 20:39:35
• quotient set > history ( quotient set > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 20:37:40
• HomePage ( HomePage(rev # 64) | history )
  by Anonymous? at June 15, 2022 at 19:45:58
• Resources > history ( Resources > history(rev # 11) | history )
  by Anonymous? at June 15, 2022 at 19:45:43
• Events > history ( Events > history(rev # 26) | history )
  by Anonymous? at June 15, 2022 at 19:45:25
• Categorical Homotopy Type Theory > history ( Categorical Homotopy Type Theory > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 19:15:53
• rational numbers > history ( rational numbers > history(rev # 19) | history )
  by Anonymous? at June 15, 2022 at 19:00:03
• Number theory > history ( Number theory > history(rev # 12) | history )
  by Anonymous? at June 15, 2022 at 18:51:08
• Discrete mathematics > history ( Discrete mathematics > history(rev # 39) | history )
  by Anonymous? at June 15, 2022 at 18:50:53
• decimal numbers > history ( decimal numbers > history(rev # 10) | history )
  by Anonymous? at June 15, 2022 at 18:50:43
• irrational numbers > history ( irrational numbers > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 18:46:35
• Agda > history ( Agda > history(rev # 11) | history )
  by Anonymous? at June 15, 2022 at 18:44:26
• HomePage ( HomePage(rev # 63) | history )
  by Anonymous? at June 15, 2022 at 18:40:06
• Proof Assistants > history ( Proof Assistants > history(rev # 7) | history )
  by Anonymous? at June 15, 2022 at 18:39:55
• HomePage ( HomePage(rev # 62) | history )
  by Anonymous? at June 15, 2022 at 14:54:20
• Algebra > history ( Algebra > history(rev # 22) | history )
  by Anonymous? at June 15, 2022 at 14:52:45
• Egbert Rijke > history ( Egbert Rijke > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:51:14
• Emily Riehl > history ( Emily Riehl > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:48:50
• Eric Finster > history ( Eric Finster > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:48:21
• Evan Cavallo > history ( Evan Cavallo > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:47:52
• Floris van Doorn > history ( Floris van Doorn > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:46:52
• Guillaume Brunerie > history ( Guillaume Brunerie > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:46:00
• Ian Orton > history ( Ian Orton > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:43:31
• James Ladyman > history ( James Ladyman > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:42:39
• Jason Gross > history ( Jason Gross > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:42:10
• Jeremy Avigad > history ( Jeremy Avigad > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:39:43
• Kristina Sojakova > history ( Kristina Sojakova > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:39:04
• Kuen-Bang Hou (Favonia) > history ( Kuen-Bang Hou (Favonia) > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:38:34
• Luis Scoccola > history ( Luis Scoccola > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:36:52
• Martín Escardó > history ( Martín Escardó > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:36:04
• Matthieu Sozeau > history ( Matthieu Sozeau > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:35:25
• Michael Shulman > history ( Michael Shulman > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 14:34:48
• Michael Warren > history ( Michael Warren > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:34:07
• Morgan Opie > history ( Morgan Opie > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:33:39
• Nicola Gambino > history ( Nicola Gambino > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:33:04
• Nicolai Kraus > history ( Nicolai Kraus > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:32:38
• Paige North > history ( Paige North > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:31:59
• Paolo Capriotti > history ( Paolo Capriotti > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:31:27
• Per Martin-Löf > history ( Per Martin-Löf > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:30:40
• Ed Morehouse > history ( Ed Morehouse > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:26:33
• Dimitris Tsementzis > history ( Dimitris Tsementzis > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:25:31
• Denis-Charles Cisinski > history ( Denis-Charles Cisinski > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 14:25:10
• David Roberts > history ( David Roberts > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:24:46
• Daniel Christensen > history ( Daniel Christensen > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:24:15
• Dan Licata > history ( Dan Licata > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:23:42
• Dan Grayson > history ( Dan Grayson > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:23:18
• Chris Kapulkin > history ( Chris Kapulkin > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:22:38
• Cesare Gallozzi > history ( Cesare Gallozzi > history(rev # 2) | history )
  by Anonymous? at June 15, 2022 at 14:22:06
• Carlo Angiuli > history ( Carlo Angiuli > history(rev # 5) | history )
  by Anonymous? at June 15, 2022 at 14:19:25
• Benno van den Berg > history ( Benno van den Berg > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:18:46
• Benedikt Ahrens > history ( Benedikt Ahrens > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:18:15
• Bas Spitters > history ( Bas Spitters > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:17:45
• Anthony Bordg > history ( Anthony Bordg > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:17:09
• Andrew M. Pitts > history ( Andrew M. Pitts > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:16:40
• Andrej Bauer > history ( Andrej Bauer > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:16:11
• Andrea Vezzosi > history ( Andrea Vezzosi > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:15:41
• Anders Mörtberg > history ( Anders Mörtberg > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:14:35
• Ali Caglayan > history ( Ali Caglayan > history(rev # 6) | history )
  by Anonymous? at June 15, 2022 at 14:13:59
• Peter Arndt > history ( Peter Arndt > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:12:04
• Peter LeFanu Lumsdaine > history ( Peter LeFanu Lumsdaine > history(rev # 4) | history )
  by Anonymous? at June 15, 2022 at 14:11:37
• Pieter Hofstra > history ( Pieter Hofstra > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:11:12
• Richard Garner > history ( Richard Garner > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:10:33
• Robert Harper > history ( Robert Harper > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:10:03
• Simon Huber > history ( Simon Huber > history(rev # 3) | history )
  by Anonymous? at June 15, 2022 at 14:09:13
• 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