1 |
Alexandre Buisse wrote: |
2 |
> Well, model checking is outside the (admittedly very narrow) scope of |
3 |
> software I'm interested/skilled in, which deals mostly with proof |
4 |
> assistant. If enough interest is shown, I could try to add them, but |
5 |
> after we are done with the proof assistants (another possibility would |
6 |
> of course be for you to become a dev yourself and maintain them :)). |
7 |
> |
8 |
Maybe when I retire from my day job :). |
9 |
|
10 |
-- |
11 |
M. Edward (Ed) Borasky |
12 |
|
13 |
http://linuxcapacityplanning.com |
14 |
|
15 |
-- |
16 |
gentoo-science@g.o mailing list |