metamath  

Messages by Date

• 2022/05/31 Re: [Metamath] Re: New verifiers/parsers/community projects Raph Levien
• 2022/05/31 Re: [Metamath] Re: New verifiers/parsers/community projects Mario Carneiro
• 2022/05/31 Re: [Metamath] Re: New verifiers/parsers/community projects Jim Kingdon
• 2022/05/31 Re: [Metamath] Re: New verifiers/parsers/community projects Mario Carneiro
• 2022/05/31 Re: [Metamath] Re: New verifiers/parsers/community projects 'Philip White' via Metamath
• 2022/05/31 Re: [Metamath] Re: New verifiers/parsers/community projects Mario Carneiro
• 2022/05/31 Re: [Metamath] Re: New verifiers/parsers/community projects 'Philip White' via Metamath
• 2022/05/31 Re: [Metamath] New verifiers/parsers/community projects Antony Bartlett
• 2022/05/31 [Metamath] Re: New verifiers/parsers/community projects Glauco
• 2022/05/31 Re: [Metamath] Re: New verifiers/parsers/community projects Mario Carneiro
• 2022/05/31 [Metamath] Re: New verifiers/parsers/community projects Benoit
• 2022/05/31 Re: [Metamath] Lexing/parsing a Metamath database Mario Carneiro
• 2022/05/30 [Metamath] New verifiers/parsers/community projects Thierry Arnoux
• 2022/05/30 Re: [Metamath] Lexing/parsing a Metamath database Thierry Arnoux
• 2022/05/30 Re: [Metamath] Lexing/parsing a Metamath database Benoit
• 2022/05/29 Re: [Metamath] Lexing/parsing a Metamath database Mario Carneiro
• 2022/05/29 [Metamath] Lexing/parsing a Metamath database Benoit
• 2022/05/21 Re: [Metamath] Lessons from Metamath Jon P
• 2022/05/18 Re: [Metamath] Re: How should I approach comment parsing? Mario Carneiro
• 2022/05/18 Re: [Metamath] Re: How should I approach comment parsing? 'Philip White' via Metamath
• 2022/05/18 Re: [Metamath] Lessons from Metamath Mario Carneiro
• 2022/05/18 Re: [Metamath] Lessons from Metamath Jon P
• 2022/05/17 Re: [Metamath] checkmm ported to TypeScript Mario Carneiro
• 2022/05/17 Re: [Metamath] checkmm ported to TypeScript Thierry Arnoux
• 2022/05/17 Re: [Metamath] checkmm ported to TypeScript Antony Bartlett
• 2022/05/16 Re: [Metamath] checkmm ported to TypeScript Mario Carneiro
• 2022/05/16 Re: [Metamath] Re: Suffix "t" for theorems in closed form. Mázsa Péter
• 2022/05/16 Re: [Metamath] checkmm ported to TypeScript Thierry Arnoux
• 2022/05/16 [Metamath] checkmm ported to TypeScript Antony Bartlett
• 2022/05/13 Re: [Metamath] Re: How should I approach comment parsing? Mario Carneiro
• 2022/05/13 Re: [Metamath] Re: How should I approach comment parsing? 'Philip White' via Metamath
• 2022/05/13 Re: [Metamath] Re: How should I approach comment parsing? Mario Carneiro
• 2022/05/12 [Metamath] Re: How should I approach comment parsing? Benoit
• 2022/05/12 [Metamath] How should I approach comment parsing? 'Philip White' via Metamath
• 2022/05/12 Re: [Metamath] Lessons from Metamath Mario Carneiro
• 2022/05/12 Re: [Metamath] Lessons from Metamath Mario Carneiro
• 2022/05/12 Re: [Metamath] Lessons from Metamath Thierry Arnoux
• 2022/05/12 Re: [Metamath] Lessons from Metamath Mario Carneiro
• 2022/05/12 Re: [Metamath] Lessons from Metamath Antony Bartlett
• 2022/05/11 Re: [Metamath] Re: mmverify.py bug Benoit
• 2022/05/11 Re: [Metamath] Lessons from Metamath Mario Carneiro
• 2022/05/11 Re: [Metamath] Lessons from Metamath Antony Bartlett
• 2022/05/11 [Metamath] Lessons from Metamath Mario Carneiro
• 2022/05/09 Re: [Metamath] Re: mmverify.py bug Antony Bartlett
• 2022/05/09 Re: [Metamath] Re: mmverify.py bug Glauco
• 2022/05/09 Re: [Metamath] Re: Suffix "t" for theorems in closed form. 'Alexander van der Vekens' via Metamath
• 2022/05/08 Re: [Metamath] Re: Suffix "t" for theorems in closed form. 'Alexander van der Vekens' via Metamath
• 2022/05/08 Re: [Metamath] Re: Suffix "t" for theorems in closed form. Mázsa Péter
• 2022/05/08 Re: [Metamath] Re: mmverify.py bug Antony Bartlett
• 2022/05/08 Re: [Metamath] Re: mmverify.py bug Benoit
• 2022/05/08 Re: [Metamath] Re: mmverify.py bug Jim Kingdon
• 2022/05/08 Re: [Metamath] Re: Suffix "t" for theorems in closed form. 'Alexander van der Vekens' via Metamath
• 2022/05/08 Re: [Metamath] Re: Suffix "t" for theorems in closed form. 'Alexander van der Vekens' via Metamath
• 2022/05/08 Re: [Metamath] Re: mmverify.py bug Glauco
• 2022/05/08 Re: [Metamath] Re: mmverify.py bug Mario Carneiro
• 2022/05/08 [Metamath] Re: mmverify.py bug Glauco
• 2022/05/04 [Metamath] Iowa Type Theory Commute Podcast Thierry Arnoux
• 2022/05/03 Re: [Metamath] What does Z mean in compressed proofs? 'Philip White' via Metamath
• 2022/05/03 Re: [Metamath] What does Z mean in compressed proofs? Benoit
• 2022/05/02 Re: [Metamath] What does Z mean in compressed proofs? 'Philip White' via Metamath
• 2022/05/02 Re: [Metamath] What does Z mean in compressed proofs? Benoit
• 2022/05/02 Re: [Metamath] What does Z mean in compressed proofs? Mario Carneiro
• 2022/05/02 [Metamath] What does Z mean in compressed proofs? 'Philip White' via Metamath
• 2022/05/01 Re: [Metamath] Re: review on iset.mm seq theorems Jim Kingdon
• 2022/05/01 [Metamath] Re: review on iset.mm seq theorems 'Alexander van der Vekens' via Metamath
• 2022/04/30 [Metamath] review on iset.mm seq theorems Jim Kingdon
• 2022/04/28 Re: [Metamath] Travis CI webhooks uninstalled David A. Wheeler
• 2022/04/27 [Metamath] Travis CI webhooks uninstalled Mario Carneiro
• 2022/04/25 Re: [Metamath] New community verifier? Mario Carneiro
• 2022/04/25 Re: [Metamath] New community verifier? Thierry Arnoux
• 2022/04/25 Re: [Metamath] New community verifier? Glauco
• 2022/04/25 Re: [Metamath] New community verifier? Thierry Arnoux
• 2022/04/25 Re: [Metamath] New community verifier? Thierry Arnoux
• 2022/04/25 Re: [Metamath] New community verifier? Glauco
• 2022/04/18 [Metamath] Kunen's inconsistency axiom-free proof on Metamath Thierry Arnoux
• 2022/04/11 Re: [Metamath] Re: Suffix "t" for theorems in closed form. Mario Carneiro
• 2022/04/11 Re: [Metamath] Re: Suffix "t" for theorems in closed form. Jim Kingdon
• 2022/04/11 [Metamath] Re: Suffix "t" for theorems in closed form. 'Alexander van der Vekens' via Metamath
• 2022/04/11 [Metamath] Suffix "t" for theorems in closed form. 'Alexander van der Vekens' via Metamath
• 2022/03/27 Re: [Metamath] Mapping Metamath predicate logic to traditional predicate logic Thierry Arnoux
• 2022/03/25 Re: [Metamath] Mapping Metamath predicate logic to traditional predicate logic Jim Kingdon
• 2022/03/25 Re: [Metamath] Mapping Metamath predicate logic to traditional predicate logic Andrew Lubrino
• 2022/03/25 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Cris Perdue
• 2022/03/24 Re: [Metamath] Mapping Metamath predicate logic to traditional predicate logic Jim Kingdon
• 2022/03/24 [Metamath] Mapping Metamath predicate logic to traditional predicate logic Andrew Lubrino
• 2022/03/24 [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Mázsa Péter
• 2022/03/24 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Mázsa Péter
• 2022/03/23 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? 'Alexander van der Vekens' via Metamath
• 2022/03/19 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Cris Perdue
• 2022/03/19 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Mázsa Péter
• 2022/03/19 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Mingli Yuan
• 2022/03/18 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Cris Perdue
• 2022/03/18 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Jim Kingdon
• 2022/03/18 Re: [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? Scott Fenton
• 2022/03/18 [Metamath] Suggestions for funding us.metamath.org and transitioning off of us2.metamath.org? David A. Wheeler
• 2022/02/28 Re: [Metamath] Independence questions in set.mm (partial independence of ax-11 and ax-13) Benoit
• 2022/02/28 Re: [Metamath] Independence questions in set.mm (partial independence of ax-11 and ax-13) David A. Wheeler
• 2022/02/27 Re: [Metamath] Independence questions in set.mm (partial independence of ax-11 and ax-13) Mario Carneiro
• 2022/02/27 Re: [Metamath] Independence questions in set.mm (partial independence of ax-11 and ax-13) David A. Wheeler
• 2022/02/27 Re: [Metamath] Independence questions in set.mm (partial independence of ax-11 and ax-13) Thierry Arnoux
• 2022/02/22 [Metamath] Independence questions in set.mm (partial independence of ax-11 and ax-13) Benoit
• 2022/02/15 Re: [Metamath] LaTeX rendering mario
• 2022/02/15 Re: [Metamath] mmj2 and linux mario
• 2022/02/14 Re: [Metamath] New community verifier? Thierry Arnoux
• 2022/02/14 Re: [Metamath] New community verifier? Glauco
• 2022/02/14 Re: [Metamath] New community verifier? Thierry Arnoux
• 2022/02/14 Re: [Metamath] New community verifier? savask
• 2022/02/13 Re: [Metamath] Re: A demo to ease mmj2 installation by installer Thierry Arnoux
• 2022/02/13 Re: [Metamath] Re: A demo to ease mmj2 installation by installer Mingli Yuan
• 2022/02/13 Re: [Metamath] New community verifier? Thierry Arnoux
• 2022/02/13 Re: [Metamath] Re: A demo to ease mmj2 installation by installer Thierry Arnoux
• 2022/02/13 [Metamath] Re: A demo to ease mmj2 installation by installer Mingli Yuan
• 2022/02/13 [Metamath] Re: A demo to ease mmj2 installation by installer Mingli Yuan
• 2022/02/13 Re: [Metamath] StackExchange proposed site ProofAssistants EricGT
• 2022/02/12 [Metamath] A demo to ease mmj2 installation by installer Mingli Yuan
• 2022/02/12 Re: [Metamath] Re: How to express a quadratic form over a vector space Benoit
• 2022/02/12 Re: [Metamath] LaTeX rendering Thierry Arnoux
• 2022/02/12 Re: [Metamath] mmj2 and linux Thierry Arnoux
• 2022/02/12 [Metamath] mmj2 and linux mario
• 2022/02/12 [Metamath] mmj2.zip and Linux mario
• 2022/02/12 [Metamath] LaTeX rendering mario
• 2022/02/11 Re: [Metamath] Re: How to express a quadratic form over a vector space Mingli Yuan
• 2022/02/11 Re: [Metamath] Re: How to express a quadratic form over a vector space Thierry Arnoux
• 2022/02/11 Re: [Metamath] Re: How to express a quadratic form over a vector space Benoit
• 2022/02/10 Re: [Metamath] Re: How to express a quadratic form over a vector space Mingli Yuan
• 2022/02/09 [Metamath] Deleting stale merged branches on 19th February Benoit
• 2022/02/09 Re: [Metamath] New markup checks Benoit
• 2022/02/09 Re: [Metamath] New markup checks Mario Carneiro
• 2022/02/09 Re: [Metamath] New markup checks Mario Carneiro
• 2022/02/09 Re: [Metamath] New markup checks Benoit
• 2022/02/07 Re: [Metamath] New markup checks 'Alexander van der Vekens' via Metamath
• 2022/02/07 Re: [Metamath] New markup checks Mario Carneiro
• 2022/02/07 Re: [Metamath] Re: How to express a quadratic form over a vector space Benoit
• 2022/02/07 Re: [Metamath] New markup checks 'Alexander van der Vekens' via Metamath
• 2022/02/07 Re: [Metamath] New markup checks Mario Carneiro
• 2022/02/07 Re: [Metamath] New markup checks Mario Carneiro
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space Mingli Yuan
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space vvs
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space Jim Kingdon
• 2022/02/06 [Metamath] Answer to "Why are my branches getting deleted when someone merges my pull request?" Jim Kingdon
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space Mario Carneiro
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space vvs
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space Mario Carneiro
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space Thierry Arnoux
• 2022/02/06 Re: [Metamath] Re: Metamath vs Mizar for someone new to abstract math vvs
• 2022/02/06 Re: [Metamath] Re: Metamath vs Mizar for someone new to abstract math vvs
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space vvs
• 2022/02/06 Re: [Metamath] How to express a quadratic form over a vector space 'Alexander van der Vekens' via Metamath
• 2022/02/06 Re: [Metamath] How to express a quadratic form over a vector space Thierry Arnoux
• 2022/02/06 Re: [Metamath] Re: How to express a quadratic form over a vector space 'Alexander van der Vekens' via Metamath
• 2022/02/05 Re: [Metamath] Re: How to express a quadratic form over a vector space Mario Carneiro
• 2022/02/05 Re: [Metamath] Re: Metamath vs Mizar for someone new to abstract math Jim Kingdon
• 2022/02/05 Re: [Metamath] Re: Metamath vs Mizar for someone new to abstract math Andrew Lubrino
• 2022/02/05 Re: [Metamath] Re: How to express a quadratic form over a vector space Mingli Yuan
• 2022/02/05 Re: [Metamath] CI Checks didn't kick in Jim Kingdon
• 2022/02/05 [Metamath] CI Checks didn't kick in Glauco
• 2022/02/05 [Metamath] Re: How to express a quadratic form over a vector space vvs
• 2022/02/05 [Metamath] Re: How to express a quadratic form over a vector space 'Alexander van der Vekens' via Metamath
• 2022/02/05 [Metamath] How to express a quadratic form over a vector space Mingli Yuan
• 2022/02/05 [Metamath] Re: Metamath vs Mizar for someone new to abstract math vvs
• 2022/02/04 Re: [Metamath] Metamath vs Mizar for someone new to abstract math Mario Carneiro
• 2022/02/04 [Metamath] Metamath vs Mizar for someone new to abstract math Andrew Lubrino
• 2022/02/04 Re: [Metamath] New markup checks Mázsa Péter
• 2022/02/04 Re: [Metamath] New markup checks Mario Carneiro
• 2022/02/04 [Metamath] New markup checks Mázsa Péter
• 2022/02/03 Re: [Metamath] Re: New markup checks Mario Carneiro
• 2022/02/03 Re: [Metamath] New markup checks David A. Wheeler
• 2022/02/03 [Metamath] Re: New markup checks 'Alexander van der Vekens' via Metamath
• 2022/02/03 Re: [Metamath] Re: New markup checks 'Alexander van der Vekens' via Metamath
• 2022/02/03 Re: [Metamath] Re: New markup checks Jim Kingdon
• 2022/02/03 Re: [Metamath] Re: New markup checks Mázsa Péter
• 2022/02/03 Re: [Metamath] Re: New markup checks Mario Carneiro
• 2022/02/03 Re: [Metamath] Re: New markup checks Mario Carneiro
• 2022/02/02 Re: [Metamath] Re: New markup checks Mázsa Péter
• 2022/02/02 [Metamath] Re: New markup checks Mario Carneiro
• 2022/02/02 [Metamath] New markup checks Mario Carneiro
• 2022/01/30 [Metamath] Tweaks to website generation - now with more files David A. Wheeler
• 2022/01/30 Re: [Metamath] mm-web-rs server support Thierry Arnoux
• 2022/01/29 [Metamath] mm-web-rs server support Mario Carneiro
• 2022/01/24 Re: [Metamath] Proposal: Move metamath-knife into the "metamath" organization David A. Wheeler
• 2022/01/24 Re: [Metamath] Re: Proposal: Move metamath-knife into the "metamath" organization Jim Kingdon
• 2022/01/24 [Metamath] Re: Proposal: Move metamath-knife into the "metamath" organization Benoit
• 2022/01/24 [Metamath] Proposal: Move metamath-knife into the "metamath" organization David A. Wheeler
• 2022/01/23 Re: [Metamath] Big progress on metamath.org and us2.metamath.org 'Alexander van der Vekens' via Metamath
• 2022/01/23 Re: [Metamath] Big progress on metamath.org and us2.metamath.org Jim Kingdon
• 2022/01/23 Re: [Metamath] Big progress on metamath.org and us2.metamath.org 'ookami' via Metamath
• 2022/01/23 Re: [Metamath] Big progress on metamath.org and us2.metamath.org David A. Wheeler
• 2022/01/23 Re: [Metamath] Re: Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Benoit
• 2022/01/23 Re: [Metamath] Re: Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Mario Carneiro
• 2022/01/23 Re: [Metamath] Re: Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Benoit
• 2022/01/23 Re: [Metamath] Re: Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Mario Carneiro
• 2022/01/23 Re: [Metamath] Re: Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Benoit
• 2022/01/23 Re: [Metamath] Re: Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Mario Carneiro
• 2022/01/23 [Metamath] Re: Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Benoit
• 2022/01/23 [Metamath] Re: Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Benoit
• 2022/01/22 [Metamath] Why ^pm CC in the definition of convergence w.r.t. a topology? (same for Cauchy sequences) Glauco
• 2022/01/22 Re: [Metamath] Big progress on metamath.org and us2.metamath.org Mingli Yuan
• 2022/01/21 Re: [Metamath] Big progress on metamath.org and us2.metamath.org 'Alexander van der Vekens' via Metamath
• 2022/01/21 Re: [Metamath] Big progress on metamath.org and us2.metamath.org David A. Wheeler
• 2022/01/20 Re: [Metamath] us2.metamath.org regenerated! Let me know ASAP of any serious problems 'roger witte' via Metamath

• Earlier messages
• Later messages