metamath  

Messages by Date

• 2022/11/12 Re: [Metamath] Buiding on metamath-knife Zheng Fan
• 2022/11/12 Re: [Metamath] Buiding on metamath-knife Mario Carneiro
• 2022/11/12 Re: [Metamath] Buiding on metamath-knife Zheng Fan
• 2022/11/11 Re: [Metamath] Buiding on metamath-knife Mario Carneiro
• 2022/11/11 Re: [Metamath] Buiding on metamath-knife David A. Wheeler
• 2022/11/11 [Metamath] Buiding on metamath-knife Zheng Fan
• 2022/10/14 [Metamath] Re: My contribution to Metamath's mmsolitaire project Samiro Discher
• 2022/10/14 [Metamath] Re: My contribution to Metamath's mmsolitaire project Jon P
• 2022/10/11 AW: [Metamath] My contribution to Metamath's mmsolitaire project Discher, Samiro
• 2022/10/11 Re: [Metamath] My contribution to Metamath's mmsolitaire project Mario Carneiro
• 2022/10/11 Re: [Metamath] My contribution to Metamath's mmsolitaire project 'Dragorion' via Metamath
• 2022/10/11 Re: [Metamath] My contribution to Metamath's mmsolitaire project David A. Wheeler
• 2022/10/11 Re: [Metamath] My contribution to Metamath's mmsolitaire project 'Dragorion' via Metamath
• 2022/10/09 Re: [Metamath] My contribution to Metamath's mmsolitaire project Benoit
• 2022/10/09 Re: [Metamath] My contribution to Metamath's mmsolitaire project Jim Kingdon
• 2022/10/09 Re: [Metamath] My contribution to Metamath's mmsolitaire project David A. Wheeler
• 2022/10/09 [Metamath] Re: My contribution to Metamath's mmsolitaire project 'Samiro Discher' via Metamath
• 2022/10/09 [Metamath] Re: My contribution to Metamath's mmsolitaire project Benoit
• 2022/10/06 [Metamath] My contribution to Metamath's mmsolitaire project 'Samiro Discher' via Metamath
• 2022/09/22 Re: [Metamath] New "collective" contributor ? Benoit
• 2022/09/22 Re: [Metamath] New "collective" contributor ? Mario Carneiro
• 2022/09/22 [Metamath] New "collective" contributor ? Benoit
• 2022/09/22 Re: [Metamath] How to display a backquote in a comment ? Benoit
• 2022/09/22 Re: [Metamath] How to display a backquote in a comment ? Mario Carneiro
• 2022/09/22 [Metamath] How to display a backquote in a comment ? Benoit
• 2022/09/14 Re: [Metamath] Metamath mirrors: Current state & proposed plan David A. Wheeler
• 2022/09/14 Re: [Metamath] Metamath mirrors: Current state & proposed plan David A. Wheeler
• 2022/09/14 Re: [Metamath] Metamath mirrors: Current state & proposed plan heiphohmia via Metamath
• 2022/09/14 Re: [Metamath] Metamath mirrors: Current state & proposed plan David A. Wheeler
• 2022/09/14 Re: [Metamath] Metamath mirrors: Current state & proposed plan Cris Perdue
• 2022/09/14 Re: [Metamath] Metamath mirrors: Current state & proposed plan Jim Kingdon
• 2022/09/14 Re: [Metamath] Metamath mirrors: Current state & proposed plan David A. Wheeler
• 2022/09/13 Re: [Metamath] Metamath mirrors: Current state & proposed plan heiphohmia via Metamath
• 2022/09/13 Re: [Metamath] Metamath mirrors: Current state & proposed plan Mingli Yuan
• 2022/09/13 [Metamath] Metamath mirrors: Current state & proposed plan David A. Wheeler
• 2022/09/11 Re: [Metamath] Need help reaching out to one of ypur members Jim Kingdon
• 2022/09/10 [Metamath] Need help reaching out to one of ypur members Federico Cretella
• 2022/09/08 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org David A. Wheeler
• 2022/09/08 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org Benoit
• 2022/09/07 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org David A. Wheeler
• 2022/09/07 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org David A. Wheeler
• 2022/09/06 [Metamath] Re: Znnenlem? Benoit
• 2022/09/05 [Metamath] Re: Znnenlem? 'Alexander van der Vekens' via Metamath
• 2022/09/05 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org 'Alexander van der Vekens' via Metamath
• 2022/09/01 Re: [Metamath] Metamath site us.metamath.org status and plans Cris Perdue
• 2022/09/01 [Metamath] Re: Znnenlem? Benoit
• 2022/09/01 [Metamath] Znnenlem? David Starner
• 2022/08/31 Re: [Metamath] checkmm ported to TypeScript David A. Wheeler
• 2022/08/31 Re: [Metamath] checkmm ported to TypeScript Antony Bartlett
• 2022/08/31 Re: [Metamath] Main metamath website generates its own web pages - needs a little slimming Jim Kingdon
• 2022/08/30 [Metamath] Main metamath website generates its own web pages - needs a little slimming David A. Wheeler
• 2022/08/30 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org David A. Wheeler
• 2022/08/30 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org Benoit
• 2022/08/30 Re: [Metamath] checkmm ported to TypeScript Benoit
• 2022/08/30 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org David A. Wheeler
• 2022/08/30 Re: [Metamath] Plan to start generating Metamath website without us2.metamath.org David A. Wheeler
• 2022/08/30 [Metamath] Re: Plan to start generating Metamath website without us2.metamath.org Benoit
• 2022/08/30 Re: [Metamath] Alternative Proofs Antony Bartlett
• 2022/08/29 [Metamath] Plan to start generating Metamath website without us2.metamath.org David A. Wheeler
• 2022/08/29 Re: [Metamath] Alternative Proofs Benoit
• 2022/08/29 Re: [Metamath] checkmm ported to TypeScript David A. Wheeler
• 2022/08/29 [Metamath] Making progress on generating Metamath website without us2.metamath.org David A. Wheeler
• 2022/08/29 Re: [Metamath] checkmm ported to TypeScript Antony Bartlett
• 2022/08/29 Re: [Metamath] Alternative Proofs Antony Bartlett
• 2022/08/28 Re: [Metamath] metamath GUI/Game in Smalltalk Antony Bartlett
• 2022/08/28 Re: [Metamath] Alternative Proofs David A. Wheeler
• 2022/08/28 [Metamath] Alternative Proofs Antony Bartlett
• 2022/08/26 Re: [Metamath] Proposal: Implement "branch protection" on set.mm GitHub repository branch "develop" 'Alexander van der Vekens' via Metamath
• 2022/08/25 Re: [Metamath] Proposal: Implement "branch protection" on set.mm GitHub repository branch "develop" David A. Wheeler
• 2022/08/24 Re: [Metamath] Proposal: Implement "branch protection" on set.mm GitHub repository branch "develop" David A. Wheeler
• 2022/08/24 Re: [Metamath] Proposal: Implement "branch protection" on set.mm GitHub repository branch "develop" Benoit
• 2022/08/24 Re: [Metamath] Proposal: Implement "branch protection" on set.mm GitHub repository branch "develop" Jim Kingdon
• 2022/08/24 [Metamath] Proposal: Implement "branch protection" on set.mm GitHub repository branch "develop" David A. Wheeler
• 2022/08/24 Re: [Metamath] Announcing the proof that Schroeder-Bernstein is equivalent to excluded middle (over IZF) Jim Kingdon
• 2022/08/24 Re: [Metamath] Announcing the proof that Schroeder-Bernstein is equivalent to excluded middle (over IZF) David A. Wheeler
• 2022/08/24 Re: [Metamath] Announcing the proof that Schroeder-Bernstein is equivalent to excluded middle (over IZF) Benoit
• 2022/08/23 Re: [Metamath] Re: MMJ question Antony Bartlett
• 2022/08/23 Re: [Metamath] Re: MMJ question Glauco
• 2022/08/23 Re: [Metamath] Re: MMJ question Mario Carneiro
• 2022/08/23 Re: [Metamath] Announcing the proof that Schroeder-Bernstein is equivalent to excluded middle (over IZF) David A. Wheeler
• 2022/08/23 Re: [Metamath] Re: MMJ question Antony Bartlett
• 2022/08/22 Re: [Metamath] Announcing the proof that Schroeder-Bernstein is equivalent to excluded middle (over IZF) Jim Kingdon
• 2022/08/22 Re: [Metamath] Re: MMJ question Mario Carneiro
• 2022/08/22 RE: [Metamath] Re: MMJ question [email protected]
• 2022/08/22 [Metamath] Re: MMJ question Glauco
• 2022/08/22 Re: [Metamath] Announcing the proof that Schroeder-Bernstein is equivalent to excluded middle (over IZF) David A. Wheeler
• 2022/08/22 Re: [Metamath] MMJ question Antony Bartlett
• 2022/08/21 Re: [Metamath] MMJ question 'Peter H. Meadows' via Metamath
• 2022/08/21 Re: [Metamath] Announcing the proof that Schroeder-Bernstein is equivalent to excluded middle (over I heiphohmia via Metamath
• 2022/08/21 Re: [Metamath] MMJ question Antony Bartlett
• 2022/08/21 Re: [Metamath] metamath GUI/Game in Smalltalk 'Peter Meadows' via Metamath
• 2022/08/21 [Metamath] MMJ question [email protected]
• 2022/08/20 [Metamath] Announcing the proof that Schroeder-Bernstein is equivalent to excluded middle (over IZF) Jim Kingdon
• 2022/08/20 Re: [Metamath] metamath GUI/Game in Smalltalk 'Peter H. Meadows' via Metamath
• 2022/08/07 Re: [Metamath] Searching an expression in mmj2 David A. Wheeler
• 2022/08/07 Re: [Metamath] Re: Searching an expression in mmj2 Benoit
• 2022/08/06 Re: [Metamath] Re: Searching an expression in mmj2 Steven Nguyen
• 2022/08/06 [Metamath] Re: Searching an expression in mmj2 Benoit
• 2022/08/06 [Metamath] Re: Searching an expression in mmj2 Glauco
• 2022/08/06 [Metamath] Searching an expression in mmj2 Benoit
• 2022/08/01 Re: [Metamath] Metamath site us.metamath.org status and plans Mázsa Péter
• 2022/07/30 Re: [Metamath] Metamath site us.metamath.org status and plans David A. Wheeler
• 2022/07/30 Re: [Metamath] Metamath site us.metamath.org status and plans Cris Perdue
• 2022/07/30 Re: [Metamath] Metamath site us.metamath.org status and plans David A. Wheeler
• 2022/07/28 Re: [Metamath] metamath GUI/Game in Smalltalk Cris Perdue
• 2022/07/28 Re: [Metamath] metamath GUI/Game in Smalltalk Mo Ti
• 2022/07/28 Re: [Metamath] metamath GUI/Game in Smalltalk 'Peter H. Meadows' via Metamath
• 2022/07/27 Re: [Metamath] metamath GUI/Game in Smalltalk Cris Perdue
• 2022/07/27 Re: [Metamath] metamath GUI/Game in Smalltalk Jon P
• 2022/07/27 Re: [Metamath] metamath GUI/Game in Smalltalk 'Peter H. Meadows' via Metamath
• 2022/07/25 [Metamath] Re: Metamath site us.metamath.org status and plans Glauco
• 2022/07/25 Re: [Metamath] Re: Metamath site us.metamath.org status and plans Jim Kingdon
• 2022/07/25 Re: [Metamath] Metamath site us.metamath.org status and plans savask
• 2022/07/25 Re: [Metamath] Metamath site us.metamath.org status and plans David A. Wheeler
• 2022/07/25 [Metamath] Re: Metamath site us.metamath.org status and plans Jon P
• 2022/07/24 [Metamath] Metamath site us.metamath.org status and plans David A. Wheeler
• 2022/07/22 Re: [Metamath] Symbol for ordinal number 0 'Alexander van der Vekens' via Metamath
• 2022/07/22 Re: [Metamath] Symbol for ordinal number 0 Mario Carneiro
• 2022/07/22 Re: [Metamath] Symbol for ordinal number 0 'Alexander van der Vekens' via Metamath
• 2022/07/22 Re: [Metamath] Symbol for ordinal number 0 Mario Carneiro
• 2022/07/22 Re: [Metamath] Symbol for ordinal number 0 Benoit
• 2022/07/22 Re: [Metamath] Symbol for ordinal number 0 'Alexander van der Vekens' via Metamath
• 2022/07/21 Re: [Metamath] Symbol for ordinal number 0 Jim Kingdon
• 2022/07/21 Re: [Metamath] Symbol for ordinal number 0 savask
• 2022/07/21 Re: [Metamath] Symbol for ordinal number 0 Jim Kingdon
• 2022/07/21 [Metamath] Symbol for ordinal number 0 'Alexander van der Vekens' via Metamath
• 2022/07/19 Re: [Metamath] Link to id1 on the metamath website Jim Kingdon
• 2022/07/19 [Metamath] Link to id1 on the metamath website Sophie
• 2022/07/17 Re: [Metamath] Proposal: Comment marking for intentionally unused hypothesis/hypotheses savask
• 2022/07/17 Re: [Metamath] Metamath website changes David A. Wheeler
• 2022/07/17 Re: [Metamath] Metamath website changes Jim Kingdon
• 2022/07/17 [Metamath] Metamath website changes David A. Wheeler
• 2022/07/17 Re: [Metamath] Metamath Zero dissertation defense OlivierBinda
• 2022/07/17 Re: [Metamath] Proposal: Comment marking for intentionally unused hypothesis/hypotheses David A. Wheeler
• 2022/07/17 Re: [Metamath] Re: Proposal: Comment marking for intentionally unused hypothesis/hypotheses Mario Carneiro
• 2022/07/17 Re: [Metamath] Re: Proposal: Comment marking for intentionally unused hypothesis/hypotheses Benoit
• 2022/07/17 Re: [Metamath] Proposal: Comment marking for intentionally unused hypothesis/hypotheses David A. Wheeler
• 2022/07/17 Re: [Metamath] Re: Proposal: Comment marking for intentionally unused hypothesis/hypotheses Mario Carneiro
• 2022/07/17 [Metamath] Re: Proposal: Comment marking for intentionally unused hypothesis/hypotheses 'Alexander van der Vekens' via Metamath
• 2022/07/17 [Metamath] Proposal: Comment marking for intentionally unused hypothesis/hypotheses David A. Wheeler
• 2022/07/17 Re: [Metamath] Metamath Zero dissertation defense David A. Wheeler
• 2022/07/14 [Metamath] Re: Convention for labels in set.mm: lower case only? Benoit
• 2022/07/13 [Metamath] Convention for labels in set.mm: lower case only? 'Alexander van der Vekens' via Metamath
• 2022/07/10 [Metamath] Re: Transcendental numbers and the metamath 100. savask
• 2022/07/10 [Metamath] Transcendental numbers and the metamath 100. Jon P
• 2022/07/10 [Metamath] Re: metamath.exe - added "/extract" to "write source" Glauco
• 2022/07/09 [Metamath] Re: Finding lemmata which minimize set.mm 'Alexander van der Vekens' via Metamath
• 2022/07/09 [Metamath] Re: Finding lemmata which minimize set.mm 'Alexander van der Vekens' via Metamath
• 2022/07/09 [Metamath] Re: Finding lemmata which minimize set.mm Benoit
• 2022/07/09 [Metamath] Re: Finding lemmata which minimize set.mm savask
• 2022/07/09 [Metamath] Re: Finding lemmata which minimize set.mm Benoit
• 2022/07/09 [Metamath] Re: Finding lemmata which minimize set.mm 'Alexander van der Vekens' via Metamath
• 2022/07/08 [Metamath] Re: Finding lemmata which minimize set.mm savask
• 2022/07/06 [Metamath] Re: Finding lemmata which minimize set.mm Benoit
• 2022/07/06 [Metamath] Re: Finding lemmata which minimize set.mm savask
• 2022/07/06 [Metamath] Re: Finding lemmata which minimize set.mm 'Alexander van der Vekens' via Metamath
• 2022/07/06 Re: [Metamath] Re: Finding lemmata which minimize set.mm Mario Carneiro
• 2022/07/06 [Metamath] Re: Finding lemmata which minimize set.mm savask
• 2022/07/05 [Metamath] Re: Finding lemmata which minimize set.mm 'Alexander van der Vekens' via Metamath
• 2022/07/05 Re: [Metamath] Finding lemmata which minimize set.mm David A. Wheeler
• 2022/07/05 [Metamath] Finding lemmata which minimize set.mm savask
• 2022/06/30 Re: [Metamath] Re: Extensionality ax-ext axext Roland Coghetto
• 2022/06/28 Re: [Metamath] Re: Extensionality ax-ext axext Mario Carneiro
• 2022/06/28 [Metamath] Re: Extensionality ax-ext axext Benoit
• 2022/06/28 [Metamath] Re: How to typeset "K-regular" in comments Benoit
• 2022/06/28 [Metamath] Re: How to typeset "K-regular" in comments 'Alexander van der Vekens' via Metamath
• 2022/06/28 [Metamath] Re: How to typeset "K-regular" in comments 'Alexander van der Vekens' via Metamath
• 2022/06/27 [Metamath] Extensionality ax-ext axext Roland Coghetto
• 2022/06/26 [Metamath] How to typeset "K-regular" in comments Benoit
• 2022/06/25 Re: [Metamath] metamath GUI/Game in Smalltalk Jim Kingdon
• 2022/06/25 [Metamath] metamath GUI/Game in Smalltalk 'Peter Meadows' via Metamath
• 2022/06/24 [Metamath] Re: metamath.exe - added "/extract" to "write source" Glauco
• 2022/06/14 Re: [Metamath] Re: Metamath Zero dissertation defense Antony Bartlett
• 2022/06/14 Re: [Metamath] Re: Metamath Zero dissertation defense Thierry Arnoux
• 2022/06/14 Re: [Metamath] Re: Metamath Zero dissertation defense Mario Carneiro
• 2022/06/14 Re: [Metamath] Re: Metamath Zero dissertation defense heiphohmia via Metamath
• 2022/06/13 [Metamath] Re: Metamath Zero dissertation defense Jon P
• 2022/06/10 Re: [Metamath] New markup checks Mario Carneiro
• 2022/06/09 Re: [Metamath] New markup checks Benoit
• 2022/06/09 Re: [Metamath] New markup checks Mario Carneiro
• 2022/06/09 Re: [Metamath] New markup checks Mario Carneiro
• 2022/06/08 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Mario Carneiro
• 2022/06/08 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Benoit
• 2022/06/07 [Metamath] Re: Metamath Zero dissertation defense Mario Carneiro
• 2022/06/07 [Metamath] Metamath Zero dissertation defense Mario Carneiro
• 2022/06/07 Re: [Metamath] Re: New verifiers/parsers/community projects Jim Kingdon
• 2022/06/06 Re: [Metamath] Re: New verifiers/parsers/community projects Jon P
• 2022/06/05 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Mario Carneiro
• 2022/06/05 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Benoit
• 2022/06/05 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Mario Carneiro
• 2022/06/05 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Benoit
• 2022/06/04 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Mario Carneiro
• 2022/06/04 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Benoit
• 2022/06/03 Re: [Metamath] Re: How to tell if proof steps are uninteresting. Mario Carneiro
• 2022/06/03 Re: [Metamath] Re: How to tell if proof steps are uninteresting. 'Philip White' via Metamath
• 2022/06/03 [Metamath] Re: How to tell if proof steps are uninteresting. Benoit
• 2022/06/03 [Metamath] How to tell if proof steps are uninteresting. 'Philip White' via Metamath
• 2022/06/02 Re: [Metamath] Re: New verifiers/parsers/community projects Jim Kingdon
• 2022/06/02 Re: [Metamath] Re: New verifiers/parsers/community projects Jon P
• 2022/06/01 Re: [Metamath] Re: New verifiers/parsers/community projects 'Philip White' via Metamath

• Earlier messages
• Later messages