nLab
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Mizar
(
Mizar(rev # 8)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:30:25
Gallina specification language
(
Gallina specification language(rev # 4)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:28:47
Haskell
(
Haskell(rev # 28)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:28:32
Lean
(
Lean(rev # 23)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:25:44
UniMath project
(
UniMath project(rev # 10)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:24:29
list of mathematics software
(
list of mathematics software(rev # 19)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:20:21
polymorphic dependent type theory
(
polymorphic dependent type theory(rev # 26)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:19:17
programming language
(
programming language(rev # 27)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:18:08
record type
(
record type(rev # 8)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:17:08
Automath
(
Automath(rev # 8)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:12:53
proof assistants and formalization projects -- list
(
proof assistants and formalization projects -- list(rev # 9)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:11:30
Agda
(
Agda(rev # 42)
|
history
)
by
type theorist
?
at June 13, 2025 at 22:10:38
propositional resizing
(
propositional resizing(rev # 28)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 22:07:35
Yvonne Choquet-Bruhat
(
Yvonne Choquet-Bruhat(rev # 5)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 20:56:07
propositional impredicativity
(
propositional impredicativity(rev # 2)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 19:02:11
taboo
(
taboo(rev # 17)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 18:53:59
predicative mathematics
(
predicative mathematics(rev # 41)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 18:47:23
continuous algebra
(
continuous algebra(rev # 4)
|
history
)
by
varkor
at June 13, 2025 at 18:40:36
impredicative dependent type theory
(
impredicative dependent type theory(rev # 5)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 18:06:10
impredicative universe
(
impredicative universe(rev # 2)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 17:40:06
orbifold K-theory
(
orbifold K-theory(rev # 16)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 17:17:10
type of propositions
(
type of propositions(rev # 55)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 17:03:19
propositional impredicativity
(
propositional impredicativity(rev # 1)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 17:02:59
propositional resizing
(
propositional resizing(rev # 27)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 16:52:58
measurable Gelfand duality
(
measurable Gelfand duality(rev # 4)
|
history
)
by
paoloperrone
at June 13, 2025 at 16:34:12
Tarski universe
(
Tarski universe(rev # 49)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 16:33:04
propositional resizing
(
propositional resizing(rev # 26)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 16:22:24
Loomis-Sikorski duality
(
Loomis-Sikorski duality(rev # 8)
|
history
)
by
paoloperrone
at June 13, 2025 at 16:06:21
zero-one measure
(
zero-one measure(rev # 12)
|
history
)
by
paoloperrone
at June 13, 2025 at 16:05:19
sober measurable space
(
sober measurable space(rev # 10)
|
history
)
by
paoloperrone
at June 13, 2025 at 16:04:41
strict category
(
strict category(rev # 27)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 16:03:07
strict category
(
strict category(rev # 26)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:46:47
Daniel Gratzer
(
Daniel Gratzer(rev # 15)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:42:10
Anders Mörtberg
(
Anders Mörtberg(rev # 11)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:41:51
Håkon Robbestad Gylterud
(
Håkon Robbestad Gylterud(rev # 5)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:41:32
Elisabeth Stenholm
(
Elisabeth Stenholm(rev # 7)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:38:41
Niccolò Veltri
(
Niccolò Veltri(rev # 2)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:17:27
axiom of extensionality
(
axiom of extensionality(rev # 24)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:17:05
axiom of pairing
(
axiom of pairing(rev # 11)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:16:52
extensional relation
(
extensional relation(rev # 29)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:15:51
constructive set theory
(
constructive set theory(rev # 10)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:15:39
mathematics presented in homotopy type theory
(
mathematics presented in homotopy type theory(rev # 41)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:14:52
set theory
(
set theory(rev # 64)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:14:37
M-type
(
M-type(rev # 7)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:13:20
axiom of foundation
(
axiom of foundation(rev # 24)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 15:12:56
pairing structure
(
pairing structure(rev # 9)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 14:57:21
Sandbox
(
Sandbox(rev # 3710)
|
history
)
by
Karl Schoenbaum
?
at June 13, 2025 at 14:42:46
writing in the nLab
(
writing in the nLab(rev # 14)
|
history
)
by
Tom Buchanan
?
at June 13, 2025 at 13:56:17
Franka Waaldijk
(
Franka Waaldijk(rev # 9)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:37:19
partition of unity
(
partition of unity(rev # 42)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:35:29
located subspace
(
located subspace(rev # 10)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:34:28
fan theorem
(
fan theorem(rev # 33)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:32:43
continuous map
(
continuous map(rev # 36)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:30:08
constructive mathematics
(
constructive mathematics(rev # 98)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:28:03
compactum
(
compactum(rev # 31)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:25:11
apartness space
(
apartness space(rev # 15)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:22:31
measurable Gelfand duality
(
measurable Gelfand duality(rev # 3)
|
history
)
by
paoloperrone
at June 13, 2025 at 13:21:41
skeleton
(
skeleton(rev # 4)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 13:21:21
Bishop's constructive mathematics
(
Bishop's constructive mathematics(rev # 14)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:20:59
Church-Turing thesis
(
Church-Turing thesis(rev # 8)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:16:00
computable physics
(
computable physics(rev # 22)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:11:57
intuitionistic mathematics
(
intuitionistic mathematics(rev # 38)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:09:19
apartness relation
(
apartness relation(rev # 65)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 13:00:03
Boolean semiring (Chajda & Kotrle)
(
Boolean semiring (Chajda & Kotrle)(rev # 4)
|
history
)
by
p
?
at June 13, 2025 at 12:59:10
skeleton
(
skeleton(rev # 3)
|
history
)
by
p
?
at June 13, 2025 at 12:28:16
skeleton
(
skeleton(rev # 2)
|
history
)
by
p
?
at June 13, 2025 at 11:57:26
additively idempotent semiring
(
additively idempotent semiring(rev # 15)
|
history
)
by
p
?
at June 13, 2025 at 11:46:17
band
(
band(rev # 14)
|
history
)
by
p
?
at June 13, 2025 at 11:30:54
Tom Blyth
by
p
?
at June 13, 2025 at 11:28:31
apartness relation
(
apartness relation(rev # 64)
|
history
)
by
fwaaldijk
?
at June 13, 2025 at 11:28:12
Donald McAlister
by
p
?
at June 13, 2025 at 11:24:36
skeletal category
(
skeletal category(rev # 45)
|
history
)
by
p
?
at June 13, 2025 at 11:12:58
skeleton
(
skeleton(rev # 1)
|
history
)
by
p
?
at June 13, 2025 at 10:50:11
simplicial skeleton
(
simplicial skeleton(rev # 45)
|
history
)
by
p
?
at June 13, 2025 at 10:47:46
logic
(
logic(rev # 73)
|
history
)
by
Jonathan Osser
?
at June 13, 2025 at 10:36:41
Emily Riehl
(
Emily Riehl(rev # 45)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 10:08:51
category theory
(
category theory(rev # 292)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 10:08:22
over category
(
over category(rev # 56)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 10:07:55
under category
(
under category(rev # 28)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 10:07:28
Category Theory in Context
(
Category Theory in Context(rev # 6)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 10:06:26
connected colimit
(
connected colimit(rev # 3)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 09:53:41
residuated idempotent semiring
(
residuated idempotent semiring(rev # 4)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 08:22:09
measurable Gelfand duality
(
measurable Gelfand duality(rev # 2)
|
history
)
by
paoloperrone
at June 13, 2025 at 07:56:31
quantum gravity
(
quantum gravity(rev # 76)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:47:47
entanglement
(
entanglement(rev # 41)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:46:51
holographic entanglement entropy
(
holographic entanglement entropy(rev # 90)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:45:11
prime ideal
(
prime ideal(rev # 12)
|
history
)
by
Tomas
?
at June 13, 2025 at 07:42:46
Tadashi Takayanagi
(
Tadashi Takayanagi(rev # 7)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:39:28
Mark Van Raamsdonk
(
Mark Van Raamsdonk(rev # 14)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:37:47
Brian Swingle
(
Brian Swingle(rev # 5)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:33:00
Renate Loll
(
Renate Loll(rev # 2)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:25:02
Jan Ambjørn
(
Jan Ambjørn(rev # 2)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:24:44
piecewise flat spacetime
(
piecewise flat spacetime(rev # 21)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:24:24
Loomis-Sikorski duality
(
Loomis-Sikorski duality(rev # 7)
|
history
)
by
paoloperrone
at June 13, 2025 at 07:23:58
Handbook of Quantum Gravity
(
Handbook of Quantum Gravity(rev # 41)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:16:24
causet
(
causet(rev # 24)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:15:59
Steve Carlip
(
Steve Carlip(rev # 8)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 07:04:04
Bernard S. Kay
(
Bernard S. Kay(rev # 2)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 06:22:58
AQFT on curved spacetimes
(
AQFT on curved spacetimes(rev # 31)
|
history
)
by
Urs Schreiber
at June 13, 2025 at 06:22:19
semilattice
(
semilattice(rev # 24)
|
history
)
by
p
?
at June 13, 2025 at 06:09:50
« Previous
1
2
3
4
5
6
7
8
9
10
Next »