debian-math May 2022 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Incoming new flint 2.9.0 ==> beta1 in experimental
julien . puydt
Re: Incoming new flint 2.9.0 ==> beta1 in experimental
Torrance, Douglas
Re: Incoming new flint 2.9.0 ==> beta1 in experimental
David Bremner
Re: Bug#866334: About Bug#866334: RFP: lean -- theorem prover from Microsoft Research
Nilesh Patra
Re: Bug#866334: About Bug#866334: RFP: lean -- theorem prover from Microsoft Research
Julian Gilbey
Re: Bug#866334: About Bug#866334: RFP: lean -- theorem prover from Microsoft Research
Bill Allombert
The last update was on 16:20 GMT Mon May 30. There are 6 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc