[isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
breitner at kit.edu
Fri Feb 22 09:10:24 CET 2013
Am Freitag, den 22.02.2013, 08:49 +0100 schrieb Gergely Buday:
> Wiki is old-fashioned these days, how about using Stack Exchange for
> Isabelle user communication?
> What do you think about this?
I guess this is getting off-topic for isabelle-dev and should rather be
discussed on the users list. Anyways: I find SE a good format for the
typical questions that are raised on the users list, but I am not sure
if the community is large enough to provide reasonable fast and good
answers there to make it useful. But it could be worth a try.
Dipl.-Math. Dipl.-Inform. Joachim Breitner
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 198 bytes
Desc: This is a digitally signed message part
More information about the isabelle-dev