Alexandre Buisse wrote: > Well, model checking is outside the (admittedly very narrow) scope of > software I'm interested/skilled in, which deals mostly with proof > assistant. If enough interest is shown, I could try to add them, but > after we are done with the proof assistants (another possibility would > of course be for you to become a dev yourself and maintain them :)). > Maybe when I retire from my day job :).
-- M. Edward (Ed) Borasky http://linuxcapacityplanning.com -- [email protected] mailing list
