metamath

Messages by Date

2020/03/02 Re: [Metamath] Re: Deprecated sections of set.mm Jon P
2020/03/01 Re: [Metamath] Re: Deprecated sections of set.mm Norman Megill
2020/03/01 Re: [Metamath] Re: About Metamath zero (mm0) Mario Carneiro
2020/03/01 [Metamath] Re: About Metamath zero (mm0) Olivier Binda
2020/03/01 [Metamath] Re: If the humanity disappears (2) vvs
2020/03/01 [Metamath] If the humanity disappears (2) 'fl' via Metamath
2020/03/01 Re: [Metamath] Re: Deprecated sections of set.mm Jon P
2020/02/28 Re: [Metamath] Re: Formalizing IMO B2.1972 Benoit
2020/02/28 Re: [Metamath] Re: Formalizing IMO B2.1972 Thierry Arnoux
2020/02/28 Re: [Metamath] Re: Formalizing IMO B2.1972 'Stanislas Polu' via Metamath
2020/02/28 Re: [Metamath] Re: Formalizing IMO B2.1972 'Stanislas Polu' via Metamath
2020/02/28 Re: [Metamath] Re: Formalizing IMO B2.1972 Jon P
2020/02/27 Re: [Metamath] Re: Formalizing IMO B2.1972 heiphohmia via Metamath
2020/02/27 Re: [Metamath] Re: Formalizing IMO B2.1972 Benoit
2020/02/27 [Metamath] Re: Formalizing IMO B2.1972 Jon P
2020/02/27 Re: [Metamath] Formalizing IMO B2.1972 Jim Kingdon
2020/02/27 Re: [Metamath] Re: Formalizing IMO B2.1972 'Stanislas Polu' via Metamath
2020/02/27 [Metamath] Re: Formalizing IMO B2.1972 Benoit
2020/02/27 [Metamath] Formalizing IMO B2.1972 'Stanislas Polu' via Metamath
2020/02/27 Re: [Metamath] Re: Riemann-zeta ratio-test rabbit-hole Steve Rodriguez
2020/02/25 [Metamath] Re: Should we make both discouragement tags mandatory in *OLD and *ALT? 'Alexander van der Vekens' via Metamath
2020/02/25 [Metamath] Re: Should we make both discouragement tags mandatory in *OLD and *ALT? Norman Megill
2020/02/25 [Metamath] Re: Should we make both discouragement tags mandatory in *OLD and *ALT? 'Alexander van der Vekens' via Metamath
2020/02/25 [Metamath] Re: Should we make both discouragement tags mandatory in *OLD and *ALT? Norman Megill
2020/02/25 [Metamath] Re: Should we make both discouragement tags mandatory in *OLD and *ALT? 'Alexander van der Vekens' via Metamath
2020/02/25 Re: Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening? Ken Kubota
2020/02/25 Re: [Metamath] Re: If the humanity disappear vvs
2020/02/24 Re: Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening? Mario Carneiro
2020/02/24 Re: [Metamath] Re: If the humanity disappear Sauer, Andrew Jacob
2020/02/24 Re: [Metamath] Re: If the humanity disappear Sauer, Andrew Jacob
2020/02/24 [Metamath] Re: If the humanity disappear 'fl' via Metamath
2020/02/24 Re: [Metamath] Should we make both discouragement tags mandatory in *OLD and *ALT? Thierry Arnoux
2020/02/24 [Metamath] Re: If the humanity disappear vvs
2020/02/24 [Metamath] Re: If the humanity disappear 'fl' via Metamath
2020/02/24 Re: Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening? Ken Kubota
2020/02/24 Re: Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening? Mario Carneiro
2020/02/24 [Metamath] Re: If the humanity disappear vvs
2020/02/24 Re: Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening? Ken Kubota
2020/02/24 [Metamath] Re: If the humanity disappear 'fl' via Metamath
2020/02/24 [Metamath] Re: If the humanity disappear vvs
2020/02/24 [Metamath] Should we make both discouragement tags mandatory in *OLD and *ALT? Norman Megill
2020/02/24 [Metamath] Re: If the humanity disappear vvs
2020/02/24 Re: Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening? Norman Megill
2020/02/24 [Metamath] If the humanity disappear 'fl' via Metamath
2020/02/24 [Metamath] Re: Kevin Buzzard's intervention: Where is the fashionable mathematics? (Lean etc.) Norman Megill
2020/02/24 [Metamath] Re: Kevin Buzzard's intervention: Where is the fashionable mathematics? (Lean etc.) Norman Megill
2020/02/24 Re: [Metamath] Metamath Zulip 'fl' via Metamath
2020/02/24 [Metamath] Kevin Buzzard's intervention: Where is the fashionable mathematics? (Lean etc.) Ken Kubota
2020/02/24 Re: [Metamath] Metamath Zulip Mario Carneiro
2020/02/24 Re: [Metamath] Metamath Zulip savask
2020/02/23 Re: [Metamath] Metamath Zulip Thierry Arnoux
2020/02/23 Re: [Metamath] Where is the fashionable mathematics? Jim Kingdon
2020/02/23 Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening? Ken Kubota
2020/02/23 Re: [Metamath] Re: About Metamath zero (mm0) Mario Carneiro
2020/02/23 Re: [Metamath] Re: About Metamath zero (mm0) Olivier Binda
2020/02/22 Re: [Metamath] Re: Analysis of full 'minimize' run on set.mm Thierry Arnoux
2020/02/22 [Metamath] Re: Analysis of full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/22 [Metamath] Re: Where is the fashionable mathematics? savask
2020/02/22 Re: [Metamath] Re: Where is the fashionable mathematics? Mario Carneiro
2020/02/22 [Metamath] Re: Analysis of full 'minimize' run on set.mm Norman Megill
2020/02/22 Re: [Metamath] Re: About Metamath zero (mm0) Mario Carneiro
2020/02/22 [Metamath] Re: Where is the fashionable mathematics? Norman Megill
2020/02/22 [Metamath] Re: Analysis of full 'minimize' run on set.mm Benoit
2020/02/22 Re: [Metamath] Where is the fashionable mathematics? Raph Levien
2020/02/22 Re: [Metamath] Where is the fashionable mathematics? Jim Kingdon
2020/02/22 [Metamath] Where is the fashionable mathematics? David A. Wheeler
2020/02/22 [Metamath] Re: About Metamath zero (mm0) Olivier Binda
2020/02/22 [Metamath] Re: Analysis of full 'minimize' run on set.mm Norman Megill
2020/02/22 [Metamath] Re: Analysis of full 'minimize' run on set.mm 'fl' via Metamath
2020/02/21 [Metamath] Re: Analysis of full 'minimize' run on set.mm Glauco
2020/02/21 [Metamath] Re: Analysis of full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/21 Re: [Metamath] Re: Riemann-zeta ratio-test rabbit-hole Mario Carneiro
2020/02/21 Re: [Metamath] Analysis of full 'minimize' run on set.mm David A. Wheeler
2020/02/21 Re: [Metamath] Analysis of full 'minimize' run on set.mm Norman Megill
2020/02/21 [Metamath] Re: Analysis of full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/21 [Metamath] Re: About Metamath zero (mm0) Olivier Binda
2020/02/21 [Metamath] Re: Riemann-zeta ratio-test rabbit-hole Steve Rodriguez
2020/02/20 Re: [Metamath] Analysis of full 'minimize' run on set.mm Mario Carneiro
2020/02/20 [Metamath] Analysis of full 'minimize' run on set.mm Norman Megill
2020/02/19 [Metamath] Re: Riemann-zeta ratio-test rabbit-hole Thomas Brendan Leahy
2020/02/18 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/18 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/18 Re: [Metamath] Full 'minimize' run on set.mm Mario Carneiro
2020/02/18 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/18 Re: [Metamath] Full 'minimize' run on set.mm Mario Carneiro
2020/02/17 [Metamath] Re: About Metamath zero (mm0) Olivier Binda
2020/02/16 Re: [Metamath] My latest minimize status 'fl' via Metamath
2020/02/16 Re: [Metamath] My latest minimize status David A. Wheeler
2020/02/16 Re: [Metamath] Breaking up ~ mideulem and ~ footex Norman Megill
2020/02/16 Re: [Metamath] My latest minimize status Norman Megill
2020/02/16 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/16 Re: [Metamath] My latest minimize status David A. Wheeler
2020/02/16 [Metamath] My latest minimize status David A. Wheeler
2020/02/16 Re: [Metamath] recursive function, computablity vs formulae 'fl' via Metamath
2020/02/16 Re: [Metamath] Full 'minimize' run on set.mm 'fl' via Metamath
2020/02/16 Re: [Metamath] Breaking up ~ mideulem and ~ footex Thierry Arnoux
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm Mario Carneiro
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm Benoit
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/15 Re: [Metamath] Minimize using "dummylink" and "idi" in fourierdlem48? Norman Megill
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/15 Re: [Metamath] Full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/14 Re: [Metamath] Minimize using "dummylink" and "idi" in fourierdlem48? 'Alexander van der Vekens' via Metamath
2020/02/14 Re: [Metamath] Minimize using "dummylink" and "idi" in fourierdlem48? Mario Carneiro
2020/02/14 [Metamath] Minimize using "dummylink" and "idi" in fourierdlem48? David A. Wheeler
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Benoit
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Mario Carneiro
2020/02/14 Re: [Metamath] recursive function, computablity vs formulae Giovanni Mascellani
2020/02/14 Re: [Metamath] recursive function, computablity vs formulae Paul Chapman
2020/02/14 Re: [Metamath] Updated "jobs" scripts available for full 'minimize' run on set.mm Giovanni Mascellani
2020/02/14 [Metamath] recursive function, computablity vs formulae persres
2020/02/14 Re: [Metamath] Updated "jobs" scripts available for full 'minimize' run on set.mm David A. Wheeler
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/14 Re: [Metamath] Updated "jobs" scripts available for full 'minimize' run on set.mm David A. Wheeler
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Thierry Arnoux
2020/02/14 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/14 Re: [Metamath] Updated "jobs" scripts available for full 'minimize' run on set.mm Giovanni Mascellani
2020/02/14 Re: [Metamath] Updated "jobs" scripts available for full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/14 [Metamath] About Metamath zero (mm0) Olivier Binda
2020/02/14 Re: [Metamath] Updated "jobs" scripts available for full 'minimize' run on set.mm Giovanni Mascellani
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Mario Carneiro
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/13 Re: [Metamath] Updated "jobs" scripts available for full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/13 [Metamath] Updated "jobs" scripts available for full 'minimize' run on set.mm David A. Wheeler
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/13 Re: [Metamath] Re: RFC: Mandatory definitions after constants Mario Carneiro
2020/02/13 Re: [Metamath] Re: RFC: Mandatory definitions after constants Benoit
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/13 Re: [Metamath] Re: RFC: Mandatory definitions after constants Mario Carneiro
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Benoit
2020/02/13 Re: [Metamath] Riemann-zeta ratio-test rabbit-hole Steve Rodriguez
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/13 [Metamath] Re: RFC: Mandatory definitions after constants 'Alexander van der Vekens' via Metamath
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm Giovanni Mascellani
2020/02/13 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/12 Re: [Metamath] Riemann-zeta ratio-test rabbit-hole Mario Carneiro
2020/02/12 [Metamath] Riemann-zeta ratio-test rabbit-hole Steve Rodriguez
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David A. Wheeler
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/12 Re: [Metamath] Full 'minimize' run on set.mm David Starner
2020/02/11 Re: [Metamath] Full 'minimize' run on set.mm heiphohmia via Metamath
2020/02/11 [Metamath] Re: Full 'minimize' run on set.mm Norman Megill
2020/02/11 [Metamath] Re: Full 'minimize' run on set.mm 'Alexander van der Vekens' via Metamath
2020/02/11 [Metamath] Full 'minimize' run on set.mm Norman Megill
2020/02/10 Re: [Metamath] Are we listening? OlivierBinda
2020/02/10 [Metamath] Are we listening? vvs

Later messages