debian-math May 2022 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Re: Bug#866334: About Bug#866334: RFP: lean -- theorem prover from Microsoft Research
Incoming new flint 2.9.0 ==> beta1 in experimental
The last update was on 16:20 GMT Mon May 30. There are 6 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc