axiom-developer

Messages by Date

2025/05/30 Re: Wikipedia Camm Maguire
2025/05/30 Re: Wikipedia Tim Daly
2025/05/30 Re: Wikipedia Camm Maguire
2025/05/09 Re: Wikipedia Tim Daly
2025/05/08 Re: Wikipedia Tim Daly
2025/05/08 Re: Wikipedia Camm Maguire
2025/05/07 Re: Wikipedia Tim Daly
2025/05/07 Re: Wikipedia Camm Maguire
2025/05/06 Re: Wikipedia Tim Daly
2025/05/06 Wikipedia Camm Maguire
2025/05/05 Assistance with regression tests Camm Maguire
2025/05/05 Re: [EXTERNAL] AXIOM Sit Yu
2025/05/05 Re: AXIOM Camm Maguire
2025/05/04 Re: [EXTERNAL] AXIOM William Sit
2025/05/03 AXIOM Camm Maguire
2025/04/13 Re: Axiom Website Restored Kurt Pagani
2025/04/12 Axiom Website Restored Camm Maguire
2025/04/11 gcl-2.7.1 released [stable] Camm Maguire
2025/02/08 Re: Project website Camm Maguire
2025/02/07 Re: [fricas-devel] Re: Project website Camm Maguire
2025/02/06 Re: [fricas-devel] Re: Project website Tim Daly
2025/02/06 Re: [fricas-devel] Re: Project website Arthur Norman
2025/02/06 Re: [EXTERNAL] Re: Project website Svjatoslav Agejenko
2025/02/06 Re: [fricas-devel] Re: Project website Tim Daly
2025/02/06 Re: [fricas-devel] Re: Project website Arthur Norman
2025/02/05 Re: [fricas-devel] Re: Project website Tim Daly
2025/02/05 Re: [fricas-devel] Re: Project website Qian Yun
2025/02/05 Re: [fricas-devel] Re: Project website Tim Daly
2025/02/05 Re: [EXTERNAL] Re: Project website Tim Daly
2025/02/05 Re: [EXTERNAL] Re: Project website Jay Belanger
2025/02/05 Re: [EXTERNAL] Re: Project website Tim Daly
2025/02/05 Re: [EXTERNAL] Re: Project website Svjatoslav Agejenko
2025/02/05 Re: [fricas-devel] Re: Project website Dima Pasechnik
2025/02/05 Re: [EXTERNAL] Re: Project website William Sit
2025/02/05 Project website Camm Maguire
2024/04/15 Re: TODO list Jay Belanger
2024/04/15 Re: TODO list Svjatoslav Agejenko
2024/04/14 TODO list Jay Belanger
2024/03/25 Can I install Axiom on Windows 7? PaulKC Lee
2023/08/19 Conway's Law, Axiom, and Axiom SANE Tim Daly
2023/06/30 TLA+ mini-course Tim Daly
2023/04/03 Re: Literate Programming, Axiom, and Physically Based Rendering Tim Daly
2023/04/03 Re: Literate Programming, Axiom, and Physically Based Rendering Johann 'Myrkraverk' Oskarsson
2023/04/02 Re: Literate Programming, Axiom, and Physically Based Rendering Tim Daly
2023/04/02 Re: Literate Programming, Axiom, and Physically Based Rendering Tim Daly
2023/04/01 Re: Literate Programming, Axiom, and Physically Based Rendering Johann 'Myrkraverk' Oskarsson
2023/04/01 Re: Literate Programming, Axiom, and Physically Based Rendering Svjatoslav Agejenko
2023/03/31 Literate Programming, Axiom, and Physically Based Rendering Tim Daly
2023/03/07 Re: Axiom git Svjatoslav Agejenko
2023/03/06 Re: Axiom git Tim Daly
2023/03/06 Re: Axiom git Svjatoslav Agejenko
2023/02/26 Riding the research waves Tim Daly
2023/02/14 Re: Axiom git Tim Daly
2023/02/14 Re: Axiom git Svjatoslav Agejenko
2023/02/14 Re: Axiom git Camm Maguire
2023/02/13 Re: Axiom git Tim Daly
2023/02/13 Re: needing an fpga... Camm Maguire
2023/02/13 Axiom git Camm Maguire
2023/01/21 Scratchpad in BYTE magazine Tim Daly
2022/12/04 Re: Literate Executables Tim Daly
2022/12/03 Re: Literate Executables Tim Daly
2022/12/02 Re: Literate Executables Terence Kelly
2022/12/02 Re: Literate Executables Tim Daly
2022/12/02 Re: Solve system of equations over finite field? Ralf Hemmecke
2022/12/02 Solve system of equations over finite field? Savva Voloshin
2022/12/02 Re: Literate Executables Terence Kelly
2022/11/30 Literate Executables Tim Daly
2022/07/19 Re: Literate programming Svjatoslav Agejenko
2022/07/19 Re: Literate programming Svjatoslav Agejenko
2022/07/19 Re: Literate programming Tim Daly
2022/07/19 Re: Literate programming Svjatoslav Agejenko
2022/07/19 Re: Literate programming Tim Daly
2022/07/19 Re: Literate programming Tim Daly
2022/07/19 Re: Literate programming Clifford Yapp
2022/07/18 Re: Literate programming Svjatoslav Agejenko
2022/07/18 Literate programming Tim Daly
2022/06/06 Axiom musings ... proof specificity Tim Daly
2022/05/30 Re: Axiom musings ... runtime computation of first-class dependent types Martin Baker
2022/05/29 Re: Axiom musings ... runtime computation of first-class dependent types Tim Daly
2022/05/29 Re: Axiom musings ... runtime computation of first-class dependent types Martin Baker
2022/05/29 Axiom musings ... runtime computation of first-class dependent types Tim Daly
2022/05/25 Axiom musings ... SANE and long term viability Tim Daly
2022/05/05 Re: Axiom musings ... Hamming and SANE Tim Daly
2022/04/27 Axiom musings ... Hamming and SANE Tim Daly
2022/02/05 Locked out of github Tim Daly
2022/01/10 Re: A NN Solves and Generates Math Problems Tim Daly
2022/01/09 Re: A NN Solves and Generates Math Problems Tim Daly
2022/01/09 Re: A NN Solves and Generates Math Problems Jeremy Avigad
2022/01/06 A NN Solves and Generates Math Problems Tim Daly
2022/01/06 A NN Solves and Generates Math Problems Tim Daly
2021/12/03 Re: Lean4 and dependent type theory Jeremy Avigad
2021/12/03 Lean4 and dependent type theory Tim Daly
2021/11/13 Re: Axiom musings... Tim Daly
2021/10/25 Re: Axiom musings... Tim Daly
2021/10/21 Re: Axiom musings... Tim Daly
2021/10/17 Re: Axiom musings... Tim Daly
2021/10/10 Re: Axiom musings... Tim Daly
2021/09/27 Re: Axiom musings... Tim Daly
2021/09/27 Re: Axiom musings... Tim Daly
2021/09/26 Re: Axiom musings... Tim Daly
2021/09/26 Re: Axiom musings... Tim Daly
2021/08/18 Re: Axiom musings... Tim Daly
2021/08/13 Re: Axiom musings... Tim Daly
2021/06/29 Re: Axiom musings... Tim Daly
2021/06/27 Re: Andrej Bauer gave an extraordinarilly clear talk Tim Daly
2021/06/26 Re: Andrej Bauer gave an extraordinarilly clear talk Tim Daly
2021/06/18 Re: needing an fpga... Camm Maguire
2021/06/17 Re: needing an fpga... Tim Daly
2021/06/17 Re: needing an fpga... Tim Daly
2021/06/17 Re: needing an fpga... Camm Maguire
2021/06/15 Information request Alfonso Parra
2021/06/14 Re: needing an fpga... Jeff Scheel
2021/06/14 Re: needing an fpga... Tim Daly
2021/06/04 Re: Axiom musings... Tim Daly
2021/05/29 Symbiflow and Axiom Tim Daly
2021/05/26 Down to the metal... Tim Daly
2021/05/05 axiom installation failed tws
2021/05/04 Re: Axiom musings... Tim Daly
2021/05/03 Re: trivial calculator problem Arthur Norman
2021/05/02 Re: trivial calculator problem Ralf Hemmecke
2021/05/02 trivial calculator problem Svjatoslav Agejenko
2021/04/09 Trouble getting Axiom to run with Docker in macOS Johan Øverbye
2021/02/27 Re: Axiom musings... Tim Daly
2021/02/18 Re: Axiom musings... Tim Daly
2021/02/05 Re: Axiom musings... Tim Daly
2021/01/19 Re: Axiom musings... Tim Daly
2021/01/19 Re: Axiom musings... Tim Daly
2021/01/01 Re: Axiom musings... Tim Daly
2021/01/01 Re: Axiom musings... Tim Daly
2020/12/31 Re: Axiom musings... Tim Daly
2020/12/21 Re: [EXTERNAL] Re: Axiom musings... Tim Daly
2020/12/18 Re: [EXTERNAL] Re: Axiom musings... Tim Daly
2020/12/18 Re: [EXTERNAL] Re: Axiom musings... Tim Daly
2020/12/09 Re: Axiom musings... Tim Daly
2020/12/04 Re: GCL failure to build Camm Maguire
2020/12/02 Re: Axiom musings... Tim Daly
2020/12/02 Re: Axiom musings... Tim Daly
2020/11/29 Proving Theorems with Computers Tim Daly
2020/11/28 Re: Axiom musings... Tim Daly
2020/11/27 Re: Axiom musings... Tim Daly
2020/11/09 Re: Axiom musings... Tim Daly
2020/10/09 Re: Axiom musings... Tim Daly
2020/10/07 Re: Axiom musings... Tim Daly
2020/10/03 Re: Axiom musings... Tim Daly
2020/10/02 GCL failure to build Tim Daly
2020/10/01 Re: Axiom musings... Tim Daly
2020/09/28 Re: Axiom musings... Tim Daly
2020/09/28 Axiom musings... Tim Daly
2020/09/25 Re: [EXTERNAL] Re: Axiom musings... Tim Daly
2020/09/25 Re: [EXTERNAL] Re: Axiom musings... William Sit
2020/09/24 Re: Axiom musings... Tim Daly
2020/09/24 Re: Axiom musings... Tim Daly
2020/09/23 Re: Axiom musings... Ricardo Corral C.
2020/09/23 Re: Axiom musings... Tim Daly
2020/09/22 Re: Axiom musings... Tim Daly
2020/09/04 Re: Axiom musings... Tim Daly
2020/09/04 Re: Axiom musings... Tim Daly
2020/08/21 Re: Axiom musings... Tim Daly
2020/08/08 Re: Axiom musings... Tim Daly
2020/08/07 Provisos Tim Daly
2020/08/05 Re: Permission to quote Tim Daly
2020/07/30 Deep Learning for Symbolic Mathematics Tim Daly
2020/07/30 Re: Axiom musings... Tim Daly
2020/07/26 Re: [EXTERNAL] Re: Axiom musings... William Sit
2020/07/25 Re: [EXTERNAL] Re: Axiom musings... Tim Daly
2020/07/21 Re: [EXTERNAL] Re: Axiom musings... Tim Daly
2020/07/21 Re: [EXTERNAL] Re: Axiom musings... William Sit
2020/07/20 Re: [EXTERNAL] Re: Axiom musings... Tim Daly
2020/07/20 Re: [EXTERNAL] Re: Axiom musings... William Sit
2020/07/19 Re: [EXTERNAL] Re: Axiom musings... Tim Daly
2020/07/19 Re: [EXTERNAL] Re: Axiom musings... William Sit
2020/07/18 Re: Axiom musings... Tim Daly
2020/07/02 Re: Foundations post Tim Daly
2020/07/02 Re: Axiom musings... Tim Daly
2020/06/20 Foundations Eugene Surowitz
2020/06/16 Re: Axiom musings... Tim Daly
2020/03/24 Re: Axiom musings... Tim Daly
2020/03/07 Re: Axiom musings... Tim Daly
2020/02/06 Re: Axiom musings... Tim Daly
2020/01/09 Re: Axiom musings... Tim Daly
2020/01/09 Re: Axiom musings... Tim Daly
2020/01/02 Re: Axiom musings... Tim Daly
2019/12/21 Re: New Release Camm Maguire
2019/12/16 Re: Axiom musings... Martin Baker
2019/12/15 Re: Axiom musings... Tim Daly
2019/12/11 Re: Axiom musings... Tim Daly
2019/12/09 Re: New Release Camm Maguire
2019/12/08 Re: Axiom musings... Tim Daly
2019/12/08 New Release Tim Daly
2019/12/05 Neural Net outperforms MMA on integration? Tim Daly
2019/11/28 Re: Axiom musings... Jacques Carette
2019/11/27 Re: Axiom musings... Tim Daly
2019/11/27 Re: Axiom musings... Tim Daly
2019/11/26 Re: Axiom musings... Tim Daly
2019/11/26 Axiom musings... Tim Daly
2019/11/11 Axiom musings.... Tim Daly
2019/10/12 [Axiom-developer] Latest Axiom update pushed... Volume 15 included Tim Daly
2019/09/25 Re: [Axiom-developer] Axiom Sane musings (SEL4) Tim Daly
2019/09/24 Re: [Axiom-developer] Axiom Sane musings (SEL4) Veer Singh
2019/09/22 Re: [Axiom-developer] Axiom Sane musings (SEL4) Tim Daly

Earlier messages