| 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 |
Archives