Archives are refreshed every 30 minutes - for details, please visit
the main index
.
You can also
download the archives in mbox format
.
axiom-developer (date)
[
Thread Index
][
Top
][
All Lists
][
axiom-developer info page
]
Advanced
[
Prev Period
]
Last Modified: Fri Mar 31 2017 23:16:18 -0400
Messages in reverse chronological order
[
Next Period
]
March 31, 2017
Re: [Axiom-developer] Proving Axiom Correct -- at the C level
,
Tim Daly
,
23:16
Re: [Axiom-developer] Proving Axiom Correct
,
Tim Daly
,
12:34
Re: [Axiom-developer] Proving Axiom Correct, "state of the art" report
,
Martin Baker
,
06:51
[Axiom-developer] Proving Axiom Correct, "state of the art" report
,
Tim Daly
,
00:34
March 30, 2017
[Axiom-developer] Terry Tso's three stages of mathematics
,
Tim Daly
,
23:51
March 27, 2017
Re: [Axiom-developer] Problem building axiom on Fedora 25
,
Tim Daly
,
11:55
[Axiom-developer] Problem building axiom on Fedora 25
,
Clancy, Dominic
,
09:47
March 13, 2017
[Axiom-developer] [IGNORE] Receipt for 9 year renewal of axiom-developer.org
,
Tim Daly
,
11:58
March 12, 2017
Re: [Axiom-developer] Ad-hoc polymorphism paper
,
Tim Daly
,
04:55
Re: [Axiom-developer] Ad-hoc polymorphism paper
,
Gabriel Dos Reis
,
03:00
March 06, 2017
Re: [Axiom-developer] Roads and Bridges (re: open source software)
,
Arthur Ralfs
,
10:39
[Axiom-developer] Roads and Bridges (re: open source software)
,
Tim Daly
,
00:54
March 04, 2017
[Axiom-developer] Type Theory and Axiom
,
Tim Daly
,
02:05
March 03, 2017
[Axiom-developer] Ad-hoc polymorphism paper
,
Tim Daly
,
19:21
March 01, 2017
[Axiom-developer] Proving Axiom Correct -- Design musings
,
Tim Daly
,
09:19
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc