*To*: John Wickerson <jpw48 at cam.ac.uk>*Subject*: Re: [isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")*From*: Gergely Buday <gbuday at gmail.com>*Date*: Tue, 26 Feb 2013 14:30:53 +0100*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <Prayer.1.3.5.1302261124210.8553@hermes-1.csi.cam.ac.uk>*References*: <5127A391.1070505@gmx.com> <1361557622.765.4.camel@kirk> <5127C921.8000904@gmx.com> <51283858.8080807@gmail.com> <op.wsx4kykcule2fv@cardamome> <Prayer.1.3.5.1302261124210.8553@hermes-1.csi.cam.ac.uk>

John Wickerson wrote: > As Gottfried has pointed out, the SE idea would only work if *all* the > support migrates over from the mailing-list. This would be quite a radical > change, and as Chris says, the mailing-list does generally work very well. Isabelle-users is quite academic where a general knowledge of logic, lambda calculus, rewriting and type systems is expected. A stack exchange site would be the place where real newbies could pose their questions. Having the SE site need not empty the mailing list, only shape it to have mostly power-user discussion. I guess. > Alternatively, one could propose a dedicated Isabelle SE site, e.g.: > http://isabelle.stackexchange.com/ How about a computational logic site, for proof theory, model checking, theorem proving theory and actual systems question? Isabelle is too narrow a topic for an SE site. There is a CS and a Theoretical Computer Science section already: http://cs.stackexchange.com/ http://cstheory.stackexchange.com/ - Gergely

**References**:**[isabelle] stackexchange.com use for proof assistants and related software***From:*Gottfried Barrow

**Re: [isabelle] stackexchange.com use for proof assistants and related software***From:*Joachim Breitner

**Re: [isabelle] stackexchange.com use for proof assistants and related software***From:*Gottfried Barrow

**[isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")***From:*Christian Sternagel

**Re: [isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")***From:*Yannick Duchêne (Hibou57)

**Re: [isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")***From:*John Wickerson

- Previous by Date: Re: [isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")
- Next by Date: [isabelle] Trying to reduce equality proofs from 2 to 1 step
- Previous by Thread: Re: [isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")
- Next by Thread: Re: [isabelle] Isabelle Community (was "stackexchange.com use for proof assistants and related software")
- Cl-isabelle-users February 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list