Homotopy Type Theory Latest Revisions

• Algebra > history ( Algebra > history(rev # 7) | history )
  by Anonymous? at June 12, 2022 at 16:30:36
• Sandbox ( Sandbox(rev # 62) | history )
  by Anonymous? at June 12, 2022 at 16:20:48
• GCD domain > history ( GCD domain > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:13:26
• integral domain > history ( integral domain > history(rev # 4) | history )
  by Anonymous? at June 12, 2022 at 16:13:11
• field (ring theory) > history ( field (ring theory) > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:12:56
• skewfield > history ( skewfield > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:12:44
• reciprocal ring > history ( reciprocal ring > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:12:28
• division ring > history ( division ring > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 16:12:09
• reciprocal Z-algebra > history ( reciprocal Z-algebra > history(rev # 2) | history )
  by Anonymous? at June 12, 2022 at 16:11:48
• division Z-algebra > history ( division Z-algebra > history(rev # 4) | history )
  by Anonymous? at June 12, 2022 at 16:11:26
• Algebra > history ( Algebra > history(rev # 6) | history )
  by Anonymous? at June 12, 2022 at 15:57:01
• Sandbox ( Sandbox(rev # 61) | history )
  by Anonymous? at June 12, 2022 at 14:53:34
• Sandbox ( Sandbox(rev # 60) | history )
  by Anonymous? at June 12, 2022 at 04:25:30
• strongly extensional function > history ( strongly extensional function > history(rev # 1) | history )
  by Anonymous? at June 12, 2022 at 04:13:23
• Analysis > history ( Analysis > history(rev # 37) | history )
  by Anonymous? at June 12, 2022 at 04:06:56
• axiom R-flat > history ( axiom R-flat > history(rev # 3) | history )
  by Anonymous? at June 12, 2022 at 04:00:27
• Sandbox ( Sandbox(rev # 59) | history )
  by Anonymous? at June 12, 2022 at 01:05:33
• Discrete mathematics > history ( Discrete mathematics > history(rev # 37) | history )
  by Anonymous? at June 11, 2022 at 00:28:27
• Analysis > history ( Analysis > history(rev # 36) | history )
  by Anonymous? at June 11, 2022 at 00:26:36
• differentiable function > history ( differentiable function > history(rev # 8) | history )
  by Anonymous? at June 11, 2022 at 00:26:25
• Analysis > history ( Analysis > history(rev # 35) | history )
  by Anonymous? at June 10, 2022 at 19:49:48
• pointwise continuous function > history ( pointwise continuous function > history(rev # 21) | history )
  by Anonymous? at June 10, 2022 at 19:49:30
• differentiable function > history ( differentiable function > history(rev # 7) | history )
  by Anonymous? at June 10, 2022 at 19:48:15
• uniformly continuous function > history ( uniformly continuous function > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 19:41:28
• Discrete mathematics > history ( Discrete mathematics > history(rev # 36) | history )
  by Anonymous? at June 10, 2022 at 19:26:20
• Newton-Leibniz operator > history ( Newton-Leibniz operator > history(rev # 7) | history )
  by Anonymous? at June 10, 2022 at 19:25:03
• Algebra > history ( Algebra > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 19:23:08
• infinitely iterated inverse image > history ( infinitely iterated inverse image > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 19:21:57
• iterated inverse image > history ( iterated inverse image > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 19:21:50
• antiderivative > history ( antiderivative > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 19:20:45
• iterated differentiable function > history ( iterated differentiable function > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 19:18:49
• directionally differentiable function > history ( directionally differentiable function > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 19:16:48
• partial derivative > history ( partial derivative > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 19:14:51
• directional derivative > history ( directional derivative > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 19:13:44
• smooth function > history ( smooth function > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 19:11:38
• Discrete mathematics > history ( Discrete mathematics > history(rev # 35) | history )
  by Anonymous? at June 10, 2022 at 18:34:45
• antiderivative > history ( antiderivative > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 18:32:59
• directionally differentiable function > history ( directionally differentiable function > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 18:32:09
• partial derivative > history ( partial derivative > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 18:31:27
• directional derivative > history ( directional derivative > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 18:30:50
• Sandbox ( Sandbox(rev # 58) | history )
  by Anonymous? at June 10, 2022 at 18:21:46
• real geometric algebra > history ( real geometric algebra > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 18:21:28
• real vector space > history ( real vector space > history(rev # 7) | history )
  by Anonymous? at June 10, 2022 at 18:20:07
• Analysis > history ( Analysis > history(rev # 34) | history )
  by Anonymous? at June 10, 2022 at 18:18:58
• real Clifford algebra > history ( real Clifford algebra > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 18:18:39
• pointwise continuous function > history ( pointwise continuous function > history(rev # 20) | history )
  by Anonymous? at June 10, 2022 at 18:15:22
• differentiable function > history ( differentiable function > history(rev # 6) | history )
  by Anonymous? at June 10, 2022 at 18:11:38
• Newton-Leibniz operator > history ( Newton-Leibniz operator > history(rev # 6) | history )
  by Anonymous? at June 10, 2022 at 18:10:35
• Algebra > history ( Algebra > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 17:58:12
• difference quotient > history ( difference quotient > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 17:57:15
• rational function > history ( rational function > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 17:52:16
• reciprocal function > history ( reciprocal function > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 17:51:18
• Discrete mathematics > history ( Discrete mathematics > history(rev # 34) | history )
  by Anonymous? at June 10, 2022 at 17:48:36
• limit of a binary function approaching a diagonal > history ( limit of a binary function approaching a diagonal > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 17:44:53
• algebraic limit field > history ( algebraic limit field > history(rev # 9) | history )
  by Anonymous? at June 10, 2022 at 17:40:55
• limit of a function > history ( limit of a function > history(rev # 13) | history )
  by Anonymous? at June 10, 2022 at 17:38:09
• pointwise continuous function > history ( pointwise continuous function > history(rev # 19) | history )
  by Anonymous? at June 10, 2022 at 17:37:11
• function limit space > history ( function limit space > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 17:33:07
• HomePage ( HomePage(rev # 60) | history )
  by Anonymous? at June 10, 2022 at 17:20:16
• Higher algebra > history ( Higher algebra > history(rev # 35) | history )
  by Anonymous? at June 10, 2022 at 17:20:01
• Dedekind real numbers > history ( Dedekind real numbers > history(rev # 10) | history )
  by Anonymous? at June 10, 2022 at 17:17:35
• Dedekind real unit interval > history ( Dedekind real unit interval > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 17:14:25
• Topology > history ( Topology > history(rev # 12) | history )
  by Anonymous? at June 10, 2022 at 17:11:56
• strict order > history ( strict order > history(rev # 6) | history )
  by Anonymous? at June 10, 2022 at 17:10:25
• Algebra > history ( Algebra > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 17:09:29
• finite type > history ( finite type > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 17:08:15
• Order theory > history ( Order theory > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 17:07:39
• preorder > history ( preorder > history(rev # 6) | history )
  by Anonymous? at June 10, 2022 at 17:07:14
• simplex category > history ( simplex category > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 17:05:13
• order > history ( order > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 17:04:52
• simplicial type > history ( simplicial type > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 16:48:24
• join-semilattice > history ( join-semilattice > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 16:39:46
• Discrete mathematics > history ( Discrete mathematics > history(rev # 33) | history )
  by Anonymous? at June 10, 2022 at 16:38:14
• meet-semilattice > history ( meet-semilattice > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 16:37:49
• lattice > history ( lattice > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 16:36:09
• an axiomatization of the real numbers > history ( an axiomatization of the real numbers > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 16:23:57
• Analysis > history ( Analysis > history(rev # 33) | history )
  by Anonymous? at June 10, 2022 at 16:20:06
• Topology > history ( Topology > history(rev # 11) | history )
  by Anonymous? at June 10, 2022 at 16:19:46
• Algebra > history ( Algebra > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 16:13:38
• Order theory > history ( Order theory > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 15:54:12
• Discrete mathematics > history ( Discrete mathematics > history(rev # 32) | history )
  by Anonymous? at June 10, 2022 at 15:52:34
• distributive lattice > history ( distributive lattice > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 15:52:13
• strict order > history ( strict order > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 15:51:04
• dense strict order > history ( dense strict order > history(rev # 7) | history )
  by Anonymous? at June 10, 2022 at 15:50:15
• locale of open intervals > history ( locale of open intervals > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 15:49:58
• suplattice > history ( suplattice > history(rev # 2) | history )
  by Anonymous? at June 10, 2022 at 15:44:58
• frame > history ( frame > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 15:43:14
• Dedekind real numbers > history ( Dedekind real numbers > history(rev # 9) | history )
  by Anonymous? at June 10, 2022 at 15:41:04
• Archimedean ordered integral domain > history ( Archimedean ordered integral domain > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 15:39:05
• Dedekind complete Archimedean ordered integral domain > history ( Dedekind complete Archimedean ordered integral domain > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 15:38:56
• Dedekind complete Archimedean ordered field > history ( Dedekind complete Archimedean ordered field > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 15:30:24
• Archimedean ordered field > history ( Archimedean ordered field > history(rev # 7) | history )
  by Anonymous? at June 10, 2022 at 15:29:37
• sigma-complete lattice > history ( sigma-complete lattice > history(rev # 8) | history )
  by Anonymous? at June 10, 2022 at 15:26:55
• sigma-frame > history ( sigma-frame > history(rev # 7) | history )
  by Anonymous? at June 10, 2022 at 15:24:28
• Dedekind cut > history ( Dedekind cut > history(rev # 5) | history )
  by Anonymous? at June 10, 2022 at 15:21:59
• interval cut > history ( interval cut > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 15:09:20
• Dedekind real numbers (disambiguation) > history ( Dedekind real numbers (disambiguation) > history(rev # 7) | history )
  by Anonymous? at June 10, 2022 at 15:07:10
• real numbers > history ( real numbers > history(rev # 17) | history )
  by Anonymous? at June 10, 2022 at 15:05:48
• Dedekind real closed intervals > history ( Dedekind real closed intervals > history(rev # 3) | history )
  by Anonymous? at June 10, 2022 at 15:05:23
• interval-complete strict order > history ( interval-complete strict order > history(rev # 4) | history )
  by Anonymous? at June 10, 2022 at 14:50:21