Homotopy Type Theory Latest Revisions

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