Messages by Date
-
2019/06/26
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly
-
2019/06/26
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Martin Baker
-
2019/06/25
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly
-
2019/06/25
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Martin Baker
-
2019/06/25
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
Tim Daly
-
2019/06/25
Re: [Axiom-developer] [EXTERNAL] Re: Axiom's Sane redesign musings
William Sit
-
2019/06/19
Re: [Axiom-developer] Axiom's Sane redesign musings
Tim Daly
-
2019/06/19
Re: [Axiom-developer] Axiom's Sane redesign musings
Martin Baker
-
2019/06/19
[Axiom-developer] Axiom's Sane redesign musings
Tim Daly
-
2019/06/11
Re: [Axiom-developer] The Coming Persistence Apocalypse
Henri Tuhola
-
2019/06/11
[Axiom-developer] Compiling to Categories
Tim Daly
-
2019/06/11
[Axiom-developer] The Coming Persistence Apocalypse
Tim Daly
-
2019/06/07
[Axiom-developer] Program Synthesis and Computer Algebra
Tim Daly
-
2019/06/05
Re: [Axiom-developer] Competing on "features" is for game programmers, not mathematicians
Eugene Surowitz
-
2019/06/01
Re: [Axiom-developer] Competing on "features" is for game programmers, not mathematicians
Tim Daly
-
2019/06/01
[Axiom-developer] Competing on "features" is for game programmers, not mathematicians
Tim Daly
-
2019/05/09
[Axiom-developer] Axiom on Windows
Tim Daly
-
2019/04/12
[Axiom-developer] Fast Multiplication
Tim Daly
-
2019/04/02
[Axiom-developer] Wolfram posting
Tim Daly
-
2019/04/02
[Axiom-developer] Wolfram posting
Tim Daly
-
2019/03/29
[Axiom-developer] Axiom on Windows 10 with HyperDoc
Tim Daly
-
2019/03/29
[Axiom-developer] Axiom on Windows 10
Tim Daly
-
2019/03/24
[Axiom-developer] Proving Axiom Sane [PAS]: Bagn19 paper
Tim Daly
-
2019/03/20
[Axiom-developer] email address
Tim Daly
-
2019/03/20
Re: [Axiom-developer] credit ... who are these people?
Mike Dewar
-
2019/03/19
Re: [Axiom-developer] Aldor Design Doc
Ralf Hemmecke
-
2019/03/19
[Axiom-developer] Aldor Design Doc
Tim Daly
-
2019/03/18
[Axiom-developer] credit ... who are these people?
Tim Daly
-
2019/03/13
Re: [Axiom-developer] Scratchpad II Newsletters
Eugene Surowitz
-
2019/03/13
[Axiom-developer] Request
Tim Daly
-
2019/03/12
Re: [Axiom-developer] Scratchpad II Newsletters
Eugene Surowitz
-
2019/02/19
[Axiom-developer] Scratchpad II Newsletters
Tim Daly
-
2019/02/13
[Axiom-developer] Naming the pain in developing scientific software
Tim Daly
-
2019/02/07
[Axiom-developer] TeX updates
Camm Maguire
-
2019/01/27
[Axiom-developer] Stewardship of open source
Tim Daly
-
2019/01/02
Re: [Axiom-developer] Compiling Axiom on Debian 9
Camm Maguire
-
2019/01/02
Re: [Axiom-developer] Compiling Axiom on Debian 9
Shakthi Kannan
-
2018/12/23
Re: [Axiom-developer] QED Manifesto and Symbolic Algebra
Tim Daly
-
2018/12/23
Re: [Axiom-developer] PLOS Rules for documenting scientific software
Tim Daly
-
2018/12/23
Re: [Axiom-developer] QED Manifesto and Symbolic Algebra
Eugene Surowitz
-
2018/12/22
Re: [Axiom-developer] PLOS Rules for documenting scientific software
William Sit
-
2018/12/22
[Axiom-developer] QED Manifesto and Symbolic Algebra
Tim Daly
-
2018/12/22
[Axiom-developer] The QED Manifesto
Tim Daly
-
2018/12/22
[Axiom-developer] PLOS Rules for documenting scientific software
Tim Daly
-
2018/12/15
Re: [Axiom-developer] Compiling Axiom on Debian 9
Tim Daly
-
2018/12/14
[Axiom-developer] Compiling Axiom on Debian 9
Shakthi Kannan
-
2018/12/14
[Axiom-developer] Compiling Axiom on Debian 9
Shakthi Kannan
-
2018/11/12
Re: [Axiom-developer] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
Tim Daly
-
2018/11/11
[Axiom-developer] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
Tim Daly
-
2018/11/07
Re: [Axiom-developer] parametricity
Frank Pfenning
-
2018/11/07
[Axiom-developer] parametricity
Tim Daly
-
2018/11/06
[Axiom-developer] axiom-developer is not down
Tim Daly
-
2018/10/27
Re: [Axiom-developer] insight
Tim Daly
-
2018/10/19
Re: [Axiom-developer] Quote from "This Old Lisp" talk....
Camm Maguire
-
2018/10/19
[Axiom-developer] Quote from "This Old Lisp" talk....
Tim Daly
-
2018/10/17
[Axiom-developer] insight
Tim Daly
-
2018/09/15
Re: [Axiom-developer] McCarthy on dataspaces
Robert Harper
-
2018/09/15
[Axiom-developer] McCarthy on dataspaces
Tim Daly
-
2018/08/22
[Axiom-developer] Running an open source project
Tim Daly
-
2018/08/20
[Axiom-developer] Proving Axiom Sane and Continuous Reasoning
Tim Daly
-
2018/08/12
Re: [Axiom-developer] Axiom and Ubuntu18.04
Fabio Stumbo
-
2018/08/12
Re: [Axiom-developer] Axiom and Ubuntu18.04
Fabio Stumbo
-
2018/08/12
Re: [Axiom-developer] Axiom and Ubuntu18.04
Tim Daly
-
2018/08/12
Re: [Axiom-developer] Axiom and Ubuntu18.04
Tim Daly
-
2018/08/11
[Axiom-developer] Axiom and Ubuntu18.04
Tim Daly
-
2018/08/11
[Axiom-developer] Ubuntu 18.04 and Axiom
Tim Daly
-
2018/08/07
Re: [Axiom-developer] Ubuntu 18.04
Tim Daly
-
2018/08/02
[Axiom-developer] Broken package for Ubuntu 18.04?
Fabio Stumbo
-
2018/07/20
Re: [Axiom-developer] Sum infinite series
Ralf Hemmecke
-
2018/07/20
Re: [Axiom-developer] Sum infinite series
Tim Daly
-
2018/07/20
[Axiom-developer] Sum infinite series
Tim Daly
-
2018/07/14
Re: [Axiom-developer] Obtaining Axiom
Tim Daly
-
2018/07/12
[Axiom-developer] Guido steps down after community turmoil
Tim Daly
-
2018/06/03
Re: [Axiom-developer] Axiom on Windows
Tim Daly
-
2018/06/02
Re: [Axiom-developer] Axiom on Windows
Tim Daly
-
2018/05/04
[Axiom-developer] Proving Axiom Sane
Tim Daly
-
2018/04/26
[Axiom-developer] The Great Theorem Prover Showdown
Tim Daly
-
2018/04/19
[Axiom-developer] Your Article on Robust Computer Algebra and Theorem Proving
Tim Daly
-
2018/04/15
Re: [Axiom-developer] AMS article about trusting CAS
Kurt Pagani
-
2018/04/15
[Axiom-developer] AMS article about trusting CAS
Tim Daly
-
2018/04/12
Re: [Axiom-developer] Proving Axiom Correct
Henri Tuhola
-
2018/04/08
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/04/06
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/04/06
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/04/06
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/04/06
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/04/05
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/04/03
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/04/02
Re: [Axiom-developer] Proving Axiom Correct
Martin Baker
-
2018/04/02
[Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/03/31
[Axiom-developer] Literate Programming
Tim Daly
-
2018/03/04
[Axiom-developer] Proving Axiom Correct
Tim Daly
-
2018/02/23
Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
Tim Daly
-
2018/02/23
Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
Camm Maguire
-
2018/02/20
Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
r . ductor
-
2018/02/19
Re: [Axiom-developer] Bug#890776: fork_Axiom: Failed to reopen server: No such file or directory
Camm Maguire
-
2018/01/28
[Axiom-developer] Exposing the preparser output
Henri Tuhola
-
2018/01/18
[Axiom-developer] [15-819] Proofs as math objects
Tim Daly
-
2018/01/03
[Axiom-developer] Must see video
Tim Daly
-
2017/12/13
Re: [Axiom-developer] Fwd: Request for references
Tim Daly
-
2017/12/06
[Axiom-developer] Request for references
Tim Daly
-
2017/11/25
Re: [Axiom-developer] Catching up on internals
Eugene Surowtz
-
2017/11/16
[Axiom-developer] Literate programs
Tim Daly
-
2017/11/08
Re: [Axiom-developer] Catching up on internals
Tim Daly
-
2017/11/07
[Axiom-developer] both mailing lists please
powerline
-
2017/11/07
Re: [Axiom-developer] Catching up on internals
Martin Baker
-
2017/11/04
Re: [Axiom-developer] Catching up on internals
Martin Baker
-
2017/11/04
Re: [Axiom-developer] Catching up on internals
Tim Daly
-
2017/11/04
Re: [Axiom-developer] Catching up on internals
Martin Baker
-
2017/11/03
Re: [Axiom-developer] Catching up on internals
Tim Daly
-
2017/11/03
Re: [Axiom-developer] Catching up on internals
Martin Baker
-
2017/11/02
Re: [Axiom-developer] Catching up on internals
Tim Daly
-
2017/11/01
Re: [Axiom-developer] Catching up on internals
Tim Daly
-
2017/11/01
Re: [Axiom-developer] Catching up on internals
gad9972
-
2017/10/31
Re: [Axiom-developer] Catching up on internals
Tim Daly
-
2017/10/28
Re: [Axiom-developer] Catching up on internals
gad9972
-
2017/10/27
Re: [Axiom-developer] Catching up on internals
Eugene Surowtz
-
2017/09/05
[Axiom-developer] Boot code
Tim Daly
-
2017/09/05
Re: [Axiom-developer] 20170501
Camm Maguire
-
2017/09/05
[Axiom-developer] Catching up on internals
Nicolas Doye
-
2017/09/02
Re: [Axiom-developer] 20170501
Tim Daly
-
2017/09/02
Re: [Axiom-developer] 20170501
Tim Daly
-
2017/09/01
[Axiom-developer] 20170501
Camm Maguire
-
2017/09/01
[Axiom-developer] 20170501
Camm Maguire
-
2017/08/16
[Axiom-developer] Axiom Goals (collected query replies)
Tim Daly
-
2017/08/02
[Axiom-developer] introduction
bondo
-
2017/07/25
[Axiom-developer] Mathematica article
Tim Daly
-
2017/07/08
Re: [Axiom-developer] Axiom for Windows
Tim Daly
-
2017/07/08
Re: [Axiom-developer] Axiom for Windows
Tim Daly
-
2017/07/08
Re: [Axiom-developer] Axiom for Windows
Dr. M Kanagasabapathy
-
2017/07/07
Re: [Axiom-developer] Axiom for Windows
C Y
-
2017/07/04
Re: [Axiom-developer] Axiom-developer Digest, Vol 163, Issue 2
Jovan Trujillo
-
2017/07/04
Re: [Axiom-developer] Axiom for Windows
Tim Daly
-
2017/07/03
[Axiom-developer] Axiom for Windows 32 / 64 bit
Dr. M Kanagasabapathy
-
2017/07/03
Re: [Axiom-developer] [Axiom] Progress report
Frank Pfenning
-
2017/07/03
[Axiom-developer] [Axiom] Progress report
Tim Daly
-
2017/06/24
Re: [Axiom-developer] Reconciling Seqents and Hoare Triples
Tim Daly
-
2017/06/24
Re: [Axiom-developer] Reconciling Seqents and Hoare Triples
Jeremy Avigad
-
2017/06/23
[Axiom-developer] Reconciling Seqents and Hoare Triples
Tim Daly
-
2017/05/15
Re: [Axiom-developer] Axiom course
Tim Daly
-
2017/05/15
Re: [Axiom-developer] 20170401 sources
Camm Maguire
-
2017/05/15
Re: [Axiom-developer] Axiom course
Tim Daly
-
2017/05/14
Re: [Axiom-developer] 20170401 sources
Tim Daly
-
2017/05/14
Re: [Axiom-developer] 20170401 sources
Camm Maguire
-
2017/05/13
Re: [Axiom-developer] 20170401 sources
Tim Daly
-
2017/05/12
Re: [Axiom-developer] 20170401 sources
Tim Daly
-
2017/05/12
Re: [Axiom-developer] 20170401 sources
Tim Daly
-
2017/05/12
Re: [Axiom-developer] 20170401 sources
Camm Maguire
-
2017/05/11
[Axiom-developer] 20170401 sources
Camm Maguire
-
2017/05/11
Re: [Axiom-developer] 20170401 sources
Tim Daly
-
2017/05/09
Re: [Axiom-developer] Axiom course
Tim Daly
-
2017/05/08
Re: [Axiom-developer] MathScheme project
Jacques Carette
-
2017/05/06
Re: [Axiom-developer] MathScheme project
Tim Daly
-
2017/04/06
Re: [Axiom-developer] Small documentation problem
Tim Daly
-
2017/04/06
Re: [Axiom-developer] Proving Axiom Correct -- at the C level
Tim Daly
-
2017/04/06
[Axiom-developer] Small documentation issue
Martin Baker
-
2017/04/04
[Axiom-developer] Proving Axiom Correct: Homotopy Type Theory
Tim Daly
-
2017/03/31
Re: [Axiom-developer] Proving Axiom Correct -- at the C level
Tim Daly
-
2017/03/31
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2017/03/31
Re: [Axiom-developer] Proving Axiom Correct, "state of the art" report
Martin Baker
-
2017/03/30
[Axiom-developer] Proving Axiom Correct, "state of the art" report
Tim Daly
-
2017/03/30
[Axiom-developer] Terry Tso's three stages of mathematics
Tim Daly
-
2017/03/27
Re: [Axiom-developer] Problem building axiom on Fedora 25
Tim Daly
-
2017/03/13
[Axiom-developer] [IGNORE] Receipt for 9 year renewal of axiom-developer.org
Tim Daly
-
2017/03/12
Re: [Axiom-developer] Ad-hoc polymorphism paper
Tim Daly
-
2017/03/11
Re: [Axiom-developer] Ad-hoc polymorphism paper
Gabriel Dos Reis
-
2017/03/06
Re: [Axiom-developer] Roads and Bridges (re: open source software)
Arthur Ralfs
-
2017/03/05
[Axiom-developer] Roads and Bridges (re: open source software)
Tim Daly
-
2017/03/03
[Axiom-developer] Type Theory and Axiom
Tim Daly
-
2017/03/03
[Axiom-developer] Ad-hoc polymorphism paper
Tim Daly
-
2017/03/01
[Axiom-developer] Proving Axiom Correct -- Design musings
Tim Daly
-
2017/02/21
[Axiom-developer] Proving Axiom Correct ... midnight musings
Tim Daly
-
2017/02/14
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Tim Daly
-
2017/02/10
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Tim Daly
-
2017/02/10
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Renaud Rioboo
-
2017/02/09
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Laurent Thery
-
2017/02/08
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Tim Daly
-
2017/02/08
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Tim Daly
-
2017/02/08
[Axiom-developer] [Proving Axiom Correct] Kurt's comments and reply
Tim Daly
-
2017/02/08
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Jeremy Avigad
-
2017/02/08
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Kurt Pagani
-
2017/02/08
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Tim Daly
-
2017/02/08
Re: [Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Jeremy Avigad
-
2017/02/08
[Axiom-developer] [Proving Axiom Correct] Bootstrapping a library
Tim Daly
-
2017/02/05
[Axiom-developer] Axiom on Slackware
Tim Daly
-
2017/02/03
[Axiom-developer] Why focus on education?
Tim Daly
-
2017/02/02
[Axiom-developer] axiom don't compile under slackware
Blatrix
-
2017/01/25
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2017/01/25
Re: [Axiom-developer] Proving Axiom Correct
Gabriel Dos Reis
-
2017/01/16
[Axiom-developer] Axiom, COQ, and Proof General
Tim Daly
-
2017/01/13
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2017/01/13
Re: [Axiom-developer] Proving Axiom Correct
Kurt Pagani
-
2017/01/12
Re: [Axiom-developer] Proving Axiom Correct
Tim Daly
-
2017/01/12
Re: [Axiom-developer] Proving Axiom Correct
Gabriel Dos Reis
-
2017/01/11
[Axiom-developer] Proving Axiom Correct
Tim Daly
-
2016/12/30
[Axiom-developer] Proving Axiom Correct. COQ/Axiom type matching
Tim Daly
-
2016/12/30
[Axiom-developer] The QED Manifesto
Tim Daly
-
2016/12/30
Re: [Axiom-developer] Towards a Semantic Language of Mathematics
Raymond Rogers
-
2016/12/30
[Axiom-developer] Towards a Semantic Language of Mathematics
Tim Daly
-
2016/12/28
[Axiom-developer] Proving Axiom Correct: Mathematical Components book
Tim Daly