metamath  

Messages by Date

• 2024/11/30 Re: [Metamath] Re: combinatorics 'Peter Dolland' via Metamath
• 2024/11/29 Re: [Metamath] Law of excluded middle Noam Pasman
• 2024/11/29 Re: [Metamath] Law of excluded middle Mario Carneiro
• 2024/11/29 Re: [Metamath] Re: combinatorics Igor Ieskov
• 2024/11/29 Re: [Metamath] Law of excluded middle Noam Pasman
• 2024/11/29 Re: [Metamath] Re: combinatorics Steven Nguyen
• 2024/11/29 Re: [Metamath] Re: combinatorics Mario Carneiro
• 2024/11/29 Re: [Metamath] Re: combinatorics 'Alexander van der Vekens' via Metamath
• 2024/11/29 Re: [Metamath] Metamath 200 'Alexander van der Vekens' via Metamath
• 2024/11/29 Re: [Metamath] Re: combinatorics 'Peter Dolland' via Metamath
• 2024/11/26 Re: [Metamath] Law of excluded middle Mario Carneiro
• 2024/11/26 Re: [Metamath] Law of excluded middle Noam Pasman
• 2024/11/26 Re: [Metamath] Law of excluded middle Mario Carneiro
• 2024/11/26 Re: [Metamath] Law of excluded middle Noam Pasman
• 2024/11/26 Re: [Metamath] Law of excluded middle Noam Pasman
• 2024/11/25 Re: [Metamath] Law of excluded middle Jim Kingdon
• 2024/11/25 Re: [Metamath] Law of excluded middle 'Thierry Arnoux' via Metamath
• 2024/11/25 [Metamath] Law of excluded middle Anarcocap-socdem
• 2024/11/23 [Metamath] Metamath 200 Steven Nguyen
• 2024/11/23 Re: [Metamath] Metamath 200 Jim Kingdon
• 2024/11/23 Re: [Metamath] Re: combinatorics Mario Carneiro
• 2024/11/23 [Metamath] Re: combinatorics Steven Nguyen
• 2024/11/21 [Metamath] combinatorics 'Peter Dolland' via Metamath
• 2024/11/05 Re: [Metamath] Question about a specific problem probably unrelated with metamath Igor Ieskov
• 2024/11/05 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/11/05 Re: [Metamath] Question about a specific problem probably unrelated with metamath Igor Ieskov
• 2024/11/02 [Metamath] Metamath-lamp version 25 released Igor Ieskov
• 2024/10/20 Re: [Metamath] Question about a specific problem probably unrelated with metamath Mario Carneiro
• 2024/10/20 Re: [Metamath] Question about a specific problem probably unrelated with metamath Igor Ieskov
• 2024/10/19 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/10/16 Re: [Metamath] Question about a specific problem probably unrelated with metamath Igor Ieskov
• 2024/10/16 Re: [Metamath] Question about a specific problem probably unrelated with metamath Jorge Agra
• 2024/10/16 Re: [Metamath] Question about a specific problem probably unrelated with metamath Igor Ieskov
• 2024/10/15 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Igor Ieskov
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Mario Carneiro
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Mario Carneiro
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/10/14 Re: [Metamath] Question about a specific problem probably unrelated with metamath Igor Ieskov
• 2024/10/05 [Metamath] Small breaking change in mm-lamp Igor Ieskov
• 2024/09/23 Re: [Metamath] Developing Galois theory in set.mm Jim Kingdon
• 2024/09/22 [Metamath] Developing Galois theory in set.mm 'Meta Kunt' via Metamath
• 2024/08/31 [Metamath] Re: Release of pmGenerator 1.2: User-definable systems, and proof minimization challenges [email protected]
• 2024/08/28 Re: [Metamath] Developing Galois theory in set.mm heiphohmia via Metamath
• 2024/08/28 Re: [Metamath] Developing Galois theory in set.mm Steven Nguyen
• 2024/08/27 Re: [Metamath] Developing Galois theory in set.mm heiphohmia via Metamath
• 2024/08/27 Re: [Metamath] Developing Galois theory in set.mm 'Thierry Arnoux' via Metamath
• 2024/08/23 [Metamath] Developing Galois theory in set.mm 'Meta Kunt' via Metamath
• 2024/07/28 Re: [Metamath] Question about a specific problem probably unrelated with metamath Mario Carneiro
• 2024/07/28 Re: [Metamath] Question about a specific problem probably unrelated with metamath Glauco
• 2024/07/28 Re: [Metamath] Question about a specific problem probably unrelated with metamath Mario Carneiro
• 2024/07/28 Re: [Metamath] Question about a specific problem probably unrelated with metamath jagra
• 2024/07/28 Re: [Metamath] Question about a specific problem probably unrelated with metamath Mario Carneiro
• 2024/07/28 [Metamath] Question about a specific problem probably unrelated with metamath jagra
• 2024/07/25 [Metamath] Google DeepMind's AlphaProof [email protected]
• 2024/07/12 Re: [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/07/10 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/07/10 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/07/10 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Steven Nguyen
• 2024/07/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/07/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Steven Nguyen
• 2024/07/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Jeff Hoffman
• 2024/07/01 Re: [Metamath] FYI: us.metamath.org is *NOT* vulnerable to CVE-2024-6387 (race condition in sshd) Jim Kingdon
• 2024/07/01 [Metamath] FYI: us.metamath.org is *NOT* vulnerable to CVE-2024-6387 (race condition in sshd) 'David A. Wheeler' via Metamath
• 2024/06/16 Re: [Metamath] Re: Another contribution to Metamath's mmsolitaire project Mario Carneiro
• 2024/06/16 Re: [Metamath] Re: Another contribution to Metamath's mmsolitaire project [email protected]
• 2024/06/16 Re: [Metamath] Re: Another contribution to Metamath's mmsolitaire project Mario Carneiro
• 2024/06/16 [Metamath] Re: Another contribution to Metamath's mmsolitaire project Gino Giotto
• 2024/06/14 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Steven Nguyen
• 2024/06/13 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/06/13 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/06/13 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/06/13 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/08 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/08 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Mario Carneiro
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/07 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/06/07 Re: [Metamath] Metamath proof visualizer with graphs Matthias Vogt
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/07 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/07 Re: [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/06/06 AW: [Metamath] Metamath proof visualizer with graphs Discher, Samiro
• 2024/06/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Mario Carneiro
• 2024/06/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Mario Carneiro
• 2024/06/06 Re: [Metamath] Metamath proof visualizer with graphs 'David A. Wheeler' via Metamath
• 2024/06/06 Re: [Metamath] Metamath proof visualizer with graphs Matthias Vogt
• 2024/06/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/06/06 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/06/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/06/06 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/06/06 AW: [Metamath] Re: Shortest possible axiom for propositional calculus Discher, Samiro
• 2024/06/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus 'Thierry Arnoux' via Metamath
• 2024/06/06 Re: [Metamath] Re: Shortest possible axiom for propositional calculus Gino Giotto
• 2024/06/05 [Metamath] Re: Shortest possible axiom for propositional calculus [email protected]
• 2024/06/05 [Metamath] Shortest possible axiom for propositional calculus heiphohmia via Metamath
• 2024/06/05 AW: [Metamath] Metamath proof visualizer with graphs Discher, Samiro
• 2024/06/04 Re: [Metamath] Metamath proof visualizer with graphs Johnathan Mercer
• 2024/06/04 Re: [Metamath] Metamath proof visualizer with graphs 'Thierry Arnoux' via Metamath
• 2024/06/04 Re: [Metamath] Metamath proof visualizer with graphs 'David A. Wheeler' via Metamath
• 2024/06/03 Re: [Metamath] Metamath proof visualizer with graphs Mario Carneiro
• 2024/06/03 [Metamath] Metamath proof visualizer with graphs Matthias Vogt
• 2024/05/25 Re: [Metamath] Re: Blueprints for Metamath 'Thierry Arnoux' via Metamath
• 2024/05/25 Re: [Metamath] Putting typesetting "extra spaces" rules in .mm database. 'Thierry Arnoux' via Metamath
• 2024/05/24 [Metamath] Re: Blueprints for Metamath savask
• 2024/05/24 Re: [Metamath] Putting typesetting "extra spaces" rules in .mm database. Marshall Stoner
• 2024/05/24 Re: [Metamath] AKS Working Group 'Thierry Arnoux' via Metamath
• 2024/05/24 Re: [Metamath] Putting typesetting "extra spaces" rules in .mm database. 'David A. Wheeler' via Metamath
• 2024/05/24 Re: [Metamath] Test if mailing list is working Dirk-Anton Broersen
• 2024/05/24 Re: Re: [Metamath] Test if mailing list is working 'Meta Kunt' via Metamath
• 2024/05/24 [Metamath] AKS Working Group 'asdf asdf' via Metamath
• 2024/05/24 [Metamath] Blueprints for Metamath 'Thierry Arnoux' via Metamath
• 2024/05/23 [Metamath] Putting typesetting "extra spaces" rules in .mm database. Marshall Stoner
• 2024/05/22 Re: [Metamath] Test if mailing list is working Jim Kingdon
• 2024/05/22 [Metamath] Test if mailing list is working 'asdf asdf' via Metamath
• 2024/05/16 Re: [Metamath] Feedback from metakunt, a recent contributor Jim Kingdon
• 2024/05/16 [Metamath] Re: Feedback from metakunt, a recent contributor [email protected]
• 2024/05/16 [Metamath] Feedback from metakunt, a recent contributor 'ookami' via Metamath
• 2024/05/11 [Metamath] Re: I'm writing a more "explanatory" database. Marshall Stoner
• 2024/05/08 Re: [Metamath] Re: The Ackermann function 'Alexander van der Vekens' via Metamath
• 2024/05/06 Re: [Metamath] Mnemonic of Fr 'Alexander van der Vekens' via Metamath
• 2024/05/06 Re: [Metamath] Mnemonic of Fr 'Alexander van der Vekens' via Metamath
• 2024/05/02 Re: [Metamath] Question abouot indistopon Mario Carneiro
• 2024/05/01 Re: [Metamath] Mnemonic of Fr heiphohmia via Metamath
• 2024/05/01 Re: [Metamath] Question abouot indistopon 'B. Wilson' via Metamath
• 2024/05/01 Re: [Metamath] Mnemonic of Fr Mario Carneiro
• 2024/05/01 [Metamath] Mnemonic of Fr 'B. Wilson' via Metamath
• 2024/04/30 Re: [Metamath] Re: The Ackermann function 'Alexander van der Vekens' via Metamath
• 2024/04/28 Re: [Metamath] Re: The Ackermann function Jim Kingdon
• 2024/04/28 Re: [Metamath] Re: The Ackermann function 'Thierry Arnoux' via Metamath
• 2024/04/28 Re: [Metamath] Results about ax-13 usage 'Alexander van der Vekens' via Metamath
• 2024/04/28 [Metamath] Re: I'm writing a more "explanatory" database. 'Alexander van der Vekens' via Metamath
• 2024/04/28 [Metamath] Re: The Ackermann function 'Alexander van der Vekens' via Metamath
• 2024/04/28 [Metamath] Re: The Ackermann function 'Alexander van der Vekens' via Metamath
• 2024/04/28 [Metamath] The Ackermann function 'Alexander van der Vekens' via Metamath
• 2024/04/24 Re: [Metamath] Question abouot indistopon Mario Carneiro
• 2024/04/24 Re: [Metamath] Question abouot indistopon heiphohmia via Metamath
• 2024/04/23 Re: [Metamath] Question abouot indistopon Jim Kingdon
• 2024/04/22 [Metamath] Question abouot indistopon 'B. Wilson' via Metamath
• 2024/04/20 Re: [Metamath] Results about ax-13 usage Gino Giotto
• 2024/04/14 AW: [Metamath] Uncompressed proofs Discher, Samiro
• 2024/04/14 [Metamath] Uncompressed proofs 'Andrew Thompson Thompson' via Metamath
• 2024/04/07 Re: [Metamath] Trying to understand 2p2e4 Anarcocap-socdem
• 2024/04/06 Re: [Metamath] Trying to understand 2p2e4 Gino Giotto
• 2024/04/05 Re: [Metamath] Trying to understand 2p2e4 Anarcocap-socdem
• 2024/04/02 Re: [Metamath] Trying to understand 2p2e4 Mario Carneiro
• 2024/04/02 Re: [Metamath] Trying to understand 2p2e4 Anarcocap-socdem
• 2024/04/02 Re: [Metamath] Trying to understand 2p2e4 Gino Giotto
• 2024/04/01 Re: [Metamath] Trying to understand 2p2e4 Mario Carneiro
• 2024/04/01 [Metamath] Trying to understand 2p2e4 Anarcocap-socdem
• 2024/03/30 Re: [Metamath] Re: Meaning of "JFM" Mario Carneiro
• 2024/03/30 [Metamath] Re: Meaning of "JFM" Glauco
• 2024/03/30 [Metamath] Meaning of "JFM" 'Alexander van der Vekens' via Metamath
• 2024/03/24 [Metamath] Success with Hmm, metamath-test, and metamath-docker Antony Bartlett
• 2024/03/19 Re: [Metamath] Help building hmm (Haskell Metamath verifier) Antony Bartlett
• 2024/03/18 Re: [Metamath] Help building hmm (Haskell Metamath verifier) Mario Carneiro
• 2024/03/18 Re: [Metamath] Help building hmm (Haskell Metamath verifier) Mario Carneiro
• 2024/03/18 [Metamath] Help building hmm (Haskell Metamath verifier) Antony Bartlett
• 2024/03/17 Re: [Metamath] metamath-test added to metamath-cmds docker image Mario Carneiro
• 2024/03/17 Re: [Metamath] metamath-test added to metamath-cmds docker image Antony Bartlett
• 2024/03/16 Re: [Metamath] metamath-test added to metamath-cmds docker image Mario Carneiro
• 2024/03/16 [Metamath] metamath-test added to metamath-cmds docker image Antony Bartlett
• 2024/03/12 Re: [Metamath] Results about ax-13 usage Mario Carneiro
• 2024/03/11 Re: [Metamath] Results about ax-13 usage Marshall Stoner
• 2024/03/11 Re: [Metamath] Results about ax-13 usage Jim Kingdon
• 2024/03/11 Re: [Metamath] Results about ax-13 usage Mario Carneiro
• 2024/03/10 [Metamath] Re: Yamma demo video Glauco
• 2024/03/10 [Metamath] Re: Yamma demo video Gino Giotto
• 2024/03/10 [Metamath] Re: Yamma demo video Glauco
• 2024/03/10 [Metamath] Yamma demo video Glauco
• 2024/03/10 Re: [Metamath] Results about ax-13 usage Gino Giotto
• 2024/03/09 Re: [Metamath] Re: [RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages Glauco
• 2024/03/04 [Metamath] Release of pmGenerator 1.2: User-definable systems, and proof minimization challenges [email protected]
• 2024/03/03 Re: [Metamath] Re: [RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages Johnathan Mercer
• 2024/02/29 [Metamath] Re: [RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages [email protected]
• 2024/02/28 [Metamath] Re: [RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages Glauco
• 2024/02/28 [Metamath] [RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages Johnathan Mercer
• 2024/02/24 [Metamath] Re: Yamma Glauco
• 2024/02/12 Re: [Metamath] Re: Proof generation Mario Carneiro
• 2024/02/12 [Metamath] Re: Proof generation jagra
• 2024/02/12 Re: [Metamath] Re: Proof generation Mario Carneiro
• 2024/02/12 [Metamath] Re: Proof generation Glauco
• 2024/02/11 Re: [Metamath] Proof generation Mario Carneiro
• 2024/02/11 [Metamath] Proof generation Jorge Agra
• 2024/02/07 [Metamath] Re: mm-web-rs server support Mario Carneiro
• 2024/02/07 [Metamath] Re: mm-web-rs server support Mario Carneiro
• 2024/02/07 [Metamath] Re: searching for theorem manually in Metamath lamp/ Marshall Stoner
• 2024/02/05 [Metamath] Re: searching for theorem manually in Metamath lamp/ Igor Ieskov

• Earlier messages
• Later messages