[isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia

Joachim Breitner 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
Wissenschaftlicher Mitarbeiter
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130222/919749d6/attachment.sig>

More information about the isabelle-dev mailing list