metamath  

Messages by Date

• 2021/05/01 [Metamath] Re: [Question on Formalization] How can I write number in base other than 10 'Alexander van der Vekens' via Metamath
• 2021/05/01 [Metamath] Re: [Question on Formalization] How can I write number in base other than 10 'Alexander van der Vekens' via Metamath
• 2021/04/25 [Metamath] Re: [Question on Formalization] How can I write number in base other than 10 Norman Megill
• 2021/04/24 Re: [Metamath] Re: [Question on Formalization] How can I write number in base other than 10 Mario Carneiro
• 2021/04/24 [Metamath] Re: [Question on Formalization] How can I write number in base other than 10 Norman Megill
• 2021/04/24 [Metamath] Re: [Question on Formalization] How can I write number in base other than 10 Glauco
• 2021/04/24 [Metamath] Re: [Question on Formalization] How can I write number in base other than 10 Glauco
• 2021/04/23 [Metamath] Re: [Question on Formalization] How can I write number in base other than 10 Norman Megill
• 2021/04/23 Re: [Metamath] Sketchy looking proof shortening Norman Megill
• 2021/04/23 Re: [Metamath] [Question on Formalization] How can I write number in base other than 10 Jim Kingdon
• 2021/04/23 Re: [Metamath] [Question on Formalization] How can I write number in base other than 10 Jim Kingdon
• 2021/04/23 [Metamath] [Question on Formalization] How can I write number in base other than 10 Kunhao Zheng
• 2021/04/22 Re: [Metamath] Sketchy looking proof shortening Benoit
• 2021/04/22 Re: [Metamath] Sketchy looking proof shortening Kyle Wyonch
• 2021/04/22 Re: [Metamath] Sketchy looking proof shortening Glauco
• 2021/04/22 Re: [Metamath] Sketchy looking proof shortening Kyle Wyonch
• 2021/04/22 Re: [Metamath] Sketchy looking proof shortening Glauco
• 2021/04/21 Re: [Metamath] Sketchy looking proof shortening Mario Carneiro
• 2021/04/21 Re: [Metamath] Sketchy looking proof shortening Jim Kingdon
• 2021/04/21 Re: [Metamath] Sketchy looking proof shortening andrew sauer
• 2021/04/21 [Metamath] Sketchy looking proof shortening Kyle Wyonch
• 2021/04/19 Re: [Metamath] How-Tos and best practices David A. Wheeler
• 2021/04/19 Re: [Metamath] How-Tos and best practices 'ookami' via Metamath
• 2021/04/18 Re: [Metamath] How-Tos and best practices Benoit
• 2021/04/18 Re: [Metamath] The |`t operator could be used not only for topologies Benoit
• 2021/04/18 Re: [Metamath] How-Tos and best practices Mario Carneiro
• 2021/04/18 Re: [Metamath] The |`t operator could be used not only for topologies Mario Carneiro
• 2021/04/18 [Metamath] How-Tos and best practices 'Alexander van der Vekens' via Metamath
• 2021/04/18 Re: [Metamath] The |`t operator could be used not only for topologies 'Alexander van der Vekens' via Metamath
• 2021/04/18 Re: [Metamath] The |`t operator could be used not only for topologies Benoit
• 2021/04/17 Re: [Metamath] The |`t operator could be used not only for topologies Mario Carneiro
• 2021/04/17 [Metamath] The |`t operator could be used not only for topologies Glauco
• 2021/04/05 [Metamath] Re: False malware report for metamath.exe executable? Norman Megill
• 2021/04/03 [Metamath] Re: False malware report for metamath.exe executable? vvs
• 2021/04/02 [Metamath] False malware report for metamath.exe executable? Norman Megill
• 2021/03/25 Re: [Metamath] Formatting section headers Benoit
• 2021/03/24 Re: [Metamath] Formatting section headers David A. Wheeler
• 2021/03/24 [Metamath] Re: Formatting section headers Zheng Fan
• 2021/03/21 [Metamath] Re: Formatting section headers 'Alexander van der Vekens' via Metamath
• 2021/03/21 [Metamath] Re: Formatting section headers Benoit
• 2021/03/21 [Metamath] Formatting section headers 'Alexander van der Vekens' via Metamath
• 2021/03/20 Re: [Metamath] On Megill's completeness theorem Mario Carneiro
• 2021/03/20 Re: [Metamath] On Megill's completeness theorem Benoit
• 2021/03/20 Re: [Metamath] On Megill's completeness theorem Norman Megill
• 2021/03/20 Re: [Metamath] On Megill's completeness theorem Mario Carneiro
• 2021/03/20 Re: [Metamath] On Megill's completeness theorem Mario Carneiro
• 2021/03/20 Re: [Metamath] On Megill's completeness theorem Benoit
• 2021/03/20 Re: [Metamath] On Megill's completeness theorem Mario Carneiro
• 2021/03/20 [Metamath] On Megill's completeness theorem Benoit
• 2021/03/15 Re: [Metamath] Informal proof of Weak Deduction Theorem vs dedt Norman Megill
• 2021/03/15 Re: [Metamath] Informal proof of Weak Deduction Theorem vs dedt Benoit
• 2021/03/15 Re: [Metamath] Informal proof of Weak Deduction Theorem vs dedt Mario Carneiro
• 2021/03/15 Re: [Metamath] Informal proof of Weak Deduction Theorem vs dedt Mario Carneiro
• 2021/03/15 [Metamath] Informal proof of Weak Deduction Theorem vs dedt Gustavo Gonçalves
• 2021/02/11 Re: [Metamath] Translation to/from other languages Mario Carneiro
• 2021/02/11 [Metamath] Translation to/from other languages [email protected]
• 2021/01/31 Re: [Metamath] How to instantiate a theorem by substituting a wff in it? Mario Carneiro
• 2021/01/31 [Metamath] How to instantiate a theorem by substituting a wff in it? Philip B.
• 2021/01/13 [Metamath] World Logic Day 2021 Norman Megill
• 2021/01/09 [Metamath] Re: Theorem proving with blocks [email protected]
• 2021/01/09 Re: [Metamath] Re: MM0/MM1 tutorial Mario Carneiro
• 2021/01/09 [Metamath] Re: MM0/MM1 tutorial Benoit
• 2021/01/09 [Metamath] Re: Theorem proving with blocks Mo Ti
• 2021/01/08 [Metamath] Theorem proving with blocks Ishan Murphy
• 2021/01/05 [Metamath] MM0/MM1 tutorial Mario Carneiro
• 2020/12/29 Re: [Metamath] Visualization of proofs (and important metamath.exe update note) Igor Ieskov
• 2020/12/27 Re: [Metamath] Visualization of proofs (and important metamath.exe update note) Norman Megill
• 2020/12/26 Re: [Metamath] Metamath Speedrun! Jim Kingdon
• 2020/12/26 [Metamath] Metamath Speedrun! Jia Ming
• 2020/12/24 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Igor Ieskov
• 2020/12/23 Re: [Metamath] Recent partial unbundling of ax-7, ax-8, ax-9 Benoit
• 2020/12/23 Re: [Metamath] Recent partial unbundling of ax-7, ax-8, ax-9 Mario Carneiro
• 2020/12/23 [Metamath] Recent partial unbundling of ax-7, ax-8, ax-9 Benoit
• 2020/12/20 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Igor Ieskov
• 2020/12/20 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Norman Megill
• 2020/12/20 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Norman Megill
• 2020/12/19 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Benoit
• 2020/12/19 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Igor Ieskov
• 2020/12/19 [Metamath] Preferred representation of a polynomial 'Stanislas Polu' via Metamath
• 2020/12/15 RE: [Metamath] Recommending proof length limits Dirk-Anton Broersen
• 2020/12/14 Re: [Metamath] Recommending proof length limits Mario Carneiro
• 2020/12/14 Re: [Metamath] Recommending proof length limits David A. Wheeler
• 2020/12/14 Re: [Metamath] Re: Recommending proof length limits Mario Carneiro
• 2020/12/14 [Metamath] Re: Recommending proof length limits 'Alexander van der Vekens' via Metamath
• 2020/12/14 [Metamath] Recommending proof length limits David A. Wheeler
• 2020/12/13 [Metamath] Re: Proposal for on-going proof minimization 'Alexander van der Vekens' via Metamath
• 2020/12/13 [Metamath] Re: Proposal for on-going proof minimization Norman Megill
• 2020/12/12 Re: [Metamath] Proposal for on-going proof minimization 'Alexander van der Vekens' via Metamath
• 2020/12/12 Re: [Metamath] Proposal for on-going proof minimization Benoit
• 2020/12/12 Re: [Metamath] Proposal for on-going proof minimization David A. Wheeler
• 2020/12/12 [Metamath] Re: Proposal for on-going proof minimization 'Alexander van der Vekens' via Metamath
• 2020/12/11 [Metamath] Re: Proposal for on-going proof minimization 'Alexander van der Vekens' via Metamath
• 2020/12/11 [Metamath] Re: Proposal for on-going proof minimization savask
• 2020/12/11 [Metamath] Proposal for on-going proof minimization Norman Megill
• 2020/12/11 Re: [Metamath] Re: New community verifier? vvs
• 2020/12/08 Re: [Metamath] Calling Stefan O'Rear: Are you still around? Are you maintaining smetamath-rs (smm3)? Mario Carneiro
• 2020/12/08 Re: [Metamath] Calling Stefan O'Rear: Are you still around? Are you maintaining smetamath-rs (smm3)? David A. Wheeler
• 2020/12/08 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Igor Ieskov
• 2020/12/08 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Norman Megill
• 2020/12/08 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Igor Ieskov
• 2020/12/06 Re: [Metamath] Re: The EMetamath plugin for Ecplise Thierry Arnoux
• 2020/12/06 [Metamath] Re: The EMetamath plugin for Ecplise Glauco
• 2020/12/06 Re: [Metamath] The EMetamath plugin for Ecplise David A. Wheeler
• 2020/12/06 Re: [Metamath] The EMetamath plugin for Ecplise [email protected]
• 2020/12/06 Re: [Metamath] Calling Stefan O'Rear: Are you still around? Are you maintaining smetamath-rs (smm3)? Stef O'Rear
• 2020/12/06 Re: [Metamath] The EMetamath plugin for Ecplise Jim Kingdon
• 2020/12/06 [Metamath] The EMetamath plugin for Ecplise Thierry Arnoux
• 2020/12/02 Re: [Metamath] Re: New community verifier? Glauco
• 2020/11/30 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Jim Kingdon
• 2020/11/30 Re: [Metamath] Re: Visualization of proofs with javascript and SVG Paul Chapman
• 2020/11/30 Re: [Metamath] Visualization of proofs with javascript and SVG Jim Kingdon
• 2020/11/30 [Metamath] Re: Visualization of proofs with javascript and SVG Norman Megill
• 2020/11/30 [Metamath] Visualization of proofs with javascript and SVG Igor Ieskov
• 2020/11/29 Re: [Metamath] Calling Stefan O'Rear: Are you still around? Are you maintaining smetamath-rs (smm3)? 'ML' via Metamath
• 2020/11/29 Re: [Metamath] Calling Stefan O'Rear: Are you still around? Are you maintaining smetamath-rs (smm3)? David A. Wheeler
• 2020/11/28 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/28 Re: [Metamath] Re: New community verifier? David A. Wheeler
• 2020/11/28 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/28 Re: [Metamath] Re: New community verifier? savask
• 2020/11/27 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/27 Re: [Metamath] Re: New community verifier? Glauco
• 2020/11/27 Re: [Metamath] Re: New community verifier? Glauco
• 2020/11/27 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/27 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/27 Re: [Metamath] Calling Stefan O'Rear: Are you still around? Are you maintaining smetamath-rs (smm3)? David A. Wheeler
• 2020/11/27 Re: [Metamath] Calling Stefan O'Rear: Are you still around? Are you maintaining smetamath-rs (smm3)? Stef O'Rear
• 2020/11/26 Re: [Metamath] Re: New community verifier? David A. Wheeler
• 2020/11/26 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/26 Re: [Metamath] Re: Incorrect definition reference in HTML page for ILE 'wal' Jim Kingdon
• 2020/11/26 [Metamath] Re: Incorrect definition reference in HTML page for ILE 'wal' Norman Megill
• 2020/11/26 Re: [Metamath] Incorrect definition reference in HTML page for ILE 'wal' Jim Kingdon
• 2020/11/26 [Metamath] Incorrect definition reference in HTML page for ILE 'wal' Marnix Klooster
• 2020/11/25 [Metamath] Calling Stefan O'Rear: Are you still around? Are you maintaining smetamath-rs (smm3)? David A. Wheeler
• 2020/11/25 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/25 Re: [Metamath] Re: New community verifier? Glauco
• 2020/11/22 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/22 Re: [Metamath] New community verifier? Mario Carneiro
• 2020/11/22 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) David A. Wheeler
• 2020/11/22 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/22 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/22 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/22 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/22 Re: [Metamath] Re: New community verifier? Glauco
• 2020/11/22 Re: [Metamath] New community verifier? Benoit
• 2020/11/22 Re: [Metamath] New community verifier? Thierry Arnoux
• 2020/11/21 Re: [Metamath] New community verifier? Mario Carneiro
• 2020/11/21 Re: [Metamath] New community verifier? Jim Kingdon
• 2020/11/21 Re: [Metamath] New community verifier? Mario Carneiro
• 2020/11/21 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/21 Re: [Metamath] New community verifier? Mario Carneiro
• 2020/11/21 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/21 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/21 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/21 Re: [Metamath] Re: New community verifier? vvs
• 2020/11/21 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/21 [Metamath] Re: New community verifier? 'ML' via Metamath
• 2020/11/21 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/21 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/21 Re: [Metamath] New community verifier? [email protected]
• 2020/11/21 Re: [Metamath] New community verifier? David A. Wheeler
• 2020/11/21 [Metamath] Re: New community verifier? vvs
• 2020/11/21 [Metamath] Re: New community verifier? Glauco
• 2020/11/21 Re: [Metamath] Re: New community verifier? Tom Houlé
• 2020/11/20 Re: [Metamath] Re: New community verifier? Mario Carneiro
• 2020/11/20 Re: [Metamath] Re: New community verifier? Raph Levien
• 2020/11/20 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Mario Carneiro
• 2020/11/20 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) David A. Wheeler
• 2020/11/20 [Metamath] Re: New community verifier? vvs
• 2020/11/20 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Mario Carneiro
• 2020/11/20 [Metamath] New community verifier? Mario Carneiro
• 2020/11/20 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Mario Carneiro
• 2020/11/20 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Benoit
• 2020/11/19 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Mario Carneiro
• 2020/11/19 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Mario Carneiro
• 2020/11/19 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) David A. Wheeler
• 2020/11/19 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Mario Carneiro
• 2020/11/19 [Metamath] Question from Filip about milpgame proof assistant Norman Megill
• 2020/11/18 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Jim Kingdon
• 2020/11/18 Re: [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) Mario Carneiro
• 2020/11/18 [Metamath] Switching the set.mm repo from Travis CI to GitHub Actions (or something else) David A. Wheeler
• 2020/11/10 Re: [Metamath] Relabeling ~dummylink Mario Carneiro
• 2020/11/10 Re: [Metamath] Relabeling ~dummylink Scott Fenton
• 2020/11/10 Re: [Metamath] Relabeling ~dummylink Jim Kingdon
• 2020/11/10 [Metamath] Re: A bird's eye view of (fragments of) propositional calculus in set.mm Norman Megill
• 2020/11/10 [Metamath] Relabeling ~dummylink Benoit
• 2020/11/10 [Metamath] Re: New metamath game on Android Norman Megill
• 2020/11/04 [Metamath] Re: Question about (extra) DVs Benoit
• 2020/11/02 Re: [Metamath] Frege's Begriffsschrift Richard Penner
• 2020/11/02 Re: [Metamath] Re: Question about (extra) DVs 'Stanislas Polu' via Metamath
• 2020/11/02 [Metamath] Re: Question about (extra) DVs Norman Megill
• 2020/11/02 Re: [Metamath] Frege's Begriffsschrift Norman Megill
• 2020/11/02 [Metamath] Question about (extra) DVs 'Stanislas Polu' via Metamath
• 2020/10/18 Re: [Metamath] Re: Verifying Disjoint Variable Restrictions Norman Megill
• 2020/10/15 Re: [Metamath] Re: Verifying Disjoint Variable Restrictions Mario Carneiro
• 2020/10/15 Re: [Metamath] Re: Verifying Disjoint Variable Restrictions 'Alexandre Frechette' via Metamath
• 2020/10/15 Re: [Metamath] Re: Verifying Disjoint Variable Restrictions Mario Carneiro
• 2020/10/15 [Metamath] Re: Verifying Disjoint Variable Restrictions 'Alexandre Frechette' via Metamath
• 2020/10/15 [Metamath] Verifying Disjoint Variable Restrictions 'Alexandre Frechette' via Metamath
• 2020/10/10 [Metamath] Re: Should I be indenting to the last symbol possible? Norman Megill
• 2020/10/09 [Metamath] Should I be indenting to the last symbol possible? [email protected]

• Earlier messages
• Later messages