axiom-developer  

Messages by Thread

• • Re: [Axiom-developer] Axiom Sane musings (SEL4) Henri Tuhola
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Tim Daly
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Henri Tuhola
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Tim Daly
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Martin Baker
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Henri Tuhola
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Martin Baker
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Tim Daly
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Martin Baker
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Tim Daly
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Veer Singh
  • Re: [Axiom-developer] Axiom Sane musings (SEL4) Tim Daly
• Re: [Axiom-developer] Minor insight Tim Daly
• [Axiom-developer] Axiom musings... Tim Daly
  • Re: [Axiom-developer] Axiom musings... Tim Daly
  • Re: [Axiom-developer] Axiom musings... Clifford Yapp
  • Re: [Axiom-developer] Axiom musings... Tim Daly
  • Re: [Axiom-developer] Axiom musings... Tim Daly
• [Axiom-developer] Axiom runs on the new Raspberry Pi 4 Tim Daly
• [Axiom-developer] AI is coming for my job! Tim Daly
  • Re: [Axiom-developer] AI is coming for my job! Frank Pfenning
• [Axiom-developer] Fwd: A Philosophy of Software Design Tim Daly
• [Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design Tim Daly
  • [Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design Tim Daly
  • [Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design Tim Daly
  • [Axiom-developer] Fwd: [software-design-book] A Philosophy of Software Design Tim Daly
• [Axiom-developer] Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] Axiom's Sane redesign musings Martin Baker
  • Re: [Axiom-developer] Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings William Sit
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Martin Baker
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Martin Baker
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Martin Baker
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Clifford Yapp
  • [Axiom-developer] Fwd: [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings William Sit
  • Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings Tim Daly
  • [Axiom-developer] Axiom's Sane redesign musings Tim Daly
  • Re: [Axiom-developer] Axiom's Sane redesign musings Tim Daly
• [Axiom-developer] Compiling to Categories Tim Daly
• [Axiom-developer] The Coming Persistence Apocalypse Tim Daly
  • Re: [Axiom-developer] The Coming Persistence Apocalypse Henri Tuhola
• [Axiom-developer] Program Synthesis and Computer Algebra Tim Daly
• [Axiom-developer] Competing on "features" is for game programmers, not mathematicians Tim Daly
  • Re: [Axiom-developer] Competing on "features" is for game programmers, not mathematicians Tim Daly
  • Re: [Axiom-developer] Competing on "features" is for game programmers, not mathematicians Eugene Surowitz
• [Axiom-developer] Fast Multiplication Tim Daly
• [Axiom-developer] Wolfram posting Tim Daly
  • [Axiom-developer] Wolfram posting Tim Daly
• [Axiom-developer] Axiom on Windows 10 with HyperDoc Tim Daly
• [Axiom-developer] Axiom on Windows 10 Tim Daly
• [Axiom-developer] Proving Axiom Sane [PAS]: Bagn19 paper Tim Daly
• [Axiom-developer] email address Tim Daly
• [Axiom-developer] Aldor Design Doc Tim Daly
  • Re: [Axiom-developer] Aldor Design Doc Ralf Hemmecke
• [Axiom-developer] credit ... who are these people? Tim Daly
  • Re: [Axiom-developer] credit ... who are these people? Mike Dewar
• [Axiom-developer] Request Tim Daly
• [Axiom-developer] Scratchpad II Newsletters Tim Daly
  • Re: [Axiom-developer] Scratchpad II Newsletters Eugene Surowitz
  • Re: [Axiom-developer] Scratchpad II Newsletters Eugene Surowitz
• [Axiom-developer] Naming the pain in developing scientific software Tim Daly
• [Axiom-developer] Stewardship of open source Tim Daly
  • [Axiom-developer] TeX updates Camm Maguire
• [Axiom-developer] QED Manifesto and Symbolic Algebra Tim Daly
  • Re: [Axiom-developer] QED Manifesto and Symbolic Algebra Eugene Surowitz
  • Re: [Axiom-developer] QED Manifesto and Symbolic Algebra Tim Daly
• [Axiom-developer] PLOS Rules for documenting scientific software Tim Daly
  • Re: [Axiom-developer] PLOS Rules for documenting scientific software William Sit
  • Re: [Axiom-developer] PLOS Rules for documenting scientific software Tim Daly
• [Axiom-developer] Compiling Axiom on Debian 9 Shakthi Kannan
  • [Axiom-developer] Compiling Axiom on Debian 9 Shakthi Kannan
  • Re: [Axiom-developer] Compiling Axiom on Debian 9 Tim Daly
  • Re: [Axiom-developer] Compiling Axiom on Debian 9 Shakthi Kannan
  • Re: [Axiom-developer] Compiling Axiom on Debian 9 Camm Maguire
• [Axiom-developer] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS Tim Daly
  • Re: [Axiom-developer] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS Tim Daly
• [Axiom-developer] parametricity Tim Daly
  • Re: [Axiom-developer] parametricity Frank Pfenning
• [Axiom-developer] axiom-developer is not down Tim Daly
• [Axiom-developer] Quote from "This Old Lisp" talk.... Tim Daly
  • Re: [Axiom-developer] Quote from "This Old Lisp" talk.... Camm Maguire
• [Axiom-developer] insight Tim Daly
  • Re: [Axiom-developer] insight Tim Daly
• [Axiom-developer] McCarthy on dataspaces Tim Daly
  • Re: [Axiom-developer] McCarthy on dataspaces Robert Harper
• [Axiom-developer] Running an open source project Tim Daly
• [Axiom-developer] Proving Axiom Sane and Continuous Reasoning Tim Daly
• [Axiom-developer] Axiom and Ubuntu18.04 Tim Daly
  • Re: [Axiom-developer] Axiom and Ubuntu18.04 Fabio Stumbo
  • Re: [Axiom-developer] Axiom and Ubuntu18.04 Tim Daly
  • Re: [Axiom-developer] Axiom and Ubuntu18.04 Fabio Stumbo
  • Re: [Axiom-developer] Axiom and Ubuntu18.04 Tim Daly
• [Axiom-developer] Ubuntu 18.04 and Axiom Tim Daly
• Re: [Axiom-developer] Ubuntu 18.04 Tim Daly
• [Axiom-developer] Broken package for Ubuntu 18.04? Fabio Stumbo
• [Axiom-developer] Sum infinite series Tim Daly
  • Re: [Axiom-developer] Sum infinite series Tim Daly
  • Re: [Axiom-developer] Sum infinite series Ralf Hemmecke
• Re: [Axiom-developer] Obtaining Axiom Tim Daly
• [Axiom-developer] Guido steps down after community turmoil Tim Daly
• [Axiom-developer] Proving Axiom Sane Tim Daly
• [Axiom-developer] The Great Theorem Prover Showdown Tim Daly
• [Axiom-developer] Your Article on Robust Computer Algebra and Theorem Proving Tim Daly
• [Axiom-developer] AMS article about trusting CAS Tim Daly
  • Re: [Axiom-developer] AMS article about trusting CAS Kurt Pagani
• Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory Camm Maguire
  • Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory r . ductor
  • Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory Camm Maguire
  • Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory Tim Daly
• [Axiom-developer] Exposing the preparser output Henri Tuhola
• [Axiom-developer] [15-819] Proofs as math objects Tim Daly
• [Axiom-developer] Must see video Tim Daly
• [Axiom-developer] Request for references Tim Daly
  • Re: [Axiom-developer] Fwd: Request for references Tim Daly
• [Axiom-developer] Literate programs Tim Daly
• [Axiom-developer] both mailing lists please powerline
• [Axiom-developer] Boot code Tim Daly
• [Axiom-developer] Catching up on internals Nicolas Doye
  • Re: [Axiom-developer] Catching up on internals Eugene Surowtz
  • Re: [Axiom-developer] Catching up on internals gad9972
  • Re: [Axiom-developer] Catching up on internals Tim Daly
  • Re: [Axiom-developer] Catching up on internals gad9972
  • Re: [Axiom-developer] Catching up on internals Tim Daly
  • Re: [Axiom-developer] Catching up on internals Tim Daly
  • Re: [Axiom-developer] Catching up on internals Martin Baker
  • Re: [Axiom-developer] Catching up on internals Tim Daly
  • Re: [Axiom-developer] Catching up on internals Martin Baker
  • Re: [Axiom-developer] Catching up on internals Tim Daly
  • Re: [Axiom-developer] Catching up on internals Martin Baker
  • Re: [Axiom-developer] Catching up on internals Martin Baker
  • Re: [Axiom-developer] Catching up on internals Tim Daly
  • Re: [Axiom-developer] Catching up on internals Eugene Surowtz
• [Axiom-developer] 20170501 Camm Maguire
  • Re: [Axiom-developer] 20170501 Tim Daly
  • Re: [Axiom-developer] 20170501 Camm Maguire
  • [Axiom-developer] 20170501 Camm Maguire
  • Re: [Axiom-developer] 20170501 Tim Daly
• [Axiom-developer] Axiom Goals (collected query replies) Tim Daly
• [Axiom-developer] introduction bondo
• [Axiom-developer] Mathematica article Tim Daly
• Re: [Axiom-developer] Axiom-developer Digest, Vol 163, Issue 2 Jovan Trujillo
• Re: [Axiom-developer] Axiom for Windows Tim Daly
  • Re: [Axiom-developer] Axiom for Windows C Y
  • Re: [Axiom-developer] Axiom for Windows Dr. M Kanagasabapathy
  • Re: [Axiom-developer] Axiom for Windows Tim Daly
  • Re: [Axiom-developer] Axiom for Windows Tim Daly
• [Axiom-developer] Axiom for Windows 32 / 64 bit Dr. M Kanagasabapathy
• [Axiom-developer] [Axiom] Progress report Tim Daly
  • Re: [Axiom-developer] [Axiom] Progress report Frank Pfenning
• [Axiom-developer] Reconciling Seqents and Hoare Triples Tim Daly
  • Re: [Axiom-developer] Reconciling Seqents and Hoare Triples Jeremy Avigad
  • Re: [Axiom-developer] Reconciling Seqents and Hoare Triples Tim Daly
• Re: [Axiom-developer] Axiom course Tim Daly
  • [Axiom-developer] 20170401 sources Camm Maguire
  • Re: [Axiom-developer] 20170401 sources Tim Daly
  • Re: [Axiom-developer] 20170401 sources Camm Maguire
  • Re: [Axiom-developer] 20170401 sources Tim Daly
  • Re: [Axiom-developer] 20170401 sources Tim Daly
  • Re: [Axiom-developer] 20170401 sources Tim Daly
  • Re: [Axiom-developer] 20170401 sources Camm Maguire
  • Re: [Axiom-developer] 20170401 sources Tim Daly
  • Re: [Axiom-developer] 20170401 sources Camm Maguire
  • Re: [Axiom-developer] Axiom course Tim Daly
  • Re: [Axiom-developer] Axiom course Tim Daly
• Re: [Axiom-developer] MathScheme project Tim Daly
  • Re: [Axiom-developer] MathScheme project Jacques Carette
• Re: [Axiom-developer] Small documentation problem Tim Daly
• [Axiom-developer] Small documentation issue Martin Baker
• [Axiom-developer] Proving Axiom Correct: Homotopy Type Theory Tim Daly
• Re: [Axiom-developer] Proving Axiom Correct -- at the C level Tim Daly
  • Re: [Axiom-developer] Proving Axiom Correct -- at the C level Tim Daly
• [Axiom-developer] Proving Axiom Correct, "state of the art" report Tim Daly
  • Re: [Axiom-developer] Proving Axiom Correct, "state of the art" report Martin Baker
• [Axiom-developer] Terry Tso's three stages of mathematics Tim Daly
• Re: [Axiom-developer] Problem building axiom on Fedora 25 Tim Daly
• [Axiom-developer] [IGNORE] Receipt for 9 year renewal of axiom-developer.org Tim Daly
• [Axiom-developer] Roads and Bridges (re: open source software) Tim Daly
  • Re: [Axiom-developer] Roads and Bridges (re: open source software) Arthur Ralfs
• [Axiom-developer] Type Theory and Axiom Tim Daly
• [Axiom-developer] Ad-hoc polymorphism paper Tim Daly
  • Re: [Axiom-developer] Ad-hoc polymorphism paper Gabriel Dos Reis
  • Re: [Axiom-developer] Ad-hoc polymorphism paper Tim Daly
• [Axiom-developer] Proving Axiom Correct -- Design musings Tim Daly
• [Axiom-developer] Proving Axiom Correct ... midnight musings Tim Daly
• [Axiom-developer] [Proving Axiom Correct] Kurt's comments and reply Tim Daly
• [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Tim Daly
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Jeremy Avigad
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Tim Daly
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Jeremy Avigad
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Tim Daly
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Tim Daly
  • Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library Laurent Thery

• Earlier messages
• Later messages