*To*: mokhov at cs.concordia.ca*Subject*: Re: [isabelle] stackexchange.com use for proof assistants and related software*From*: Gottfried Barrow <gottfried.barrow at gmx.com>*Date*: Fri, 22 Feb 2013 11:35:54 -0600*Cc*: isabelle-users at cl.cam.ac.uk, Serguei Mokhov <serguei at gmail.com>*In-reply-to*: <CAJ5BkY432sp9A6m7TJA96==WuQm-UiBuasQoEuiHok9oGVbCQw@mail.gmail.com>*References*: <5127A391.1070505@gmx.com> <CAJ5BkY432sp9A6m7TJA96==WuQm-UiBuasQoEuiHok9oGVbCQw@mail.gmail.com>*User-agent*: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120312 Thunderbird/11.0

On 2/22/2013 11:05 AM, Serguei Mokhov wrote:

Why not give a try to http://www.discourse.org/ ? Started by the same guy as stackexchange.com/stackoverflow.com http://www.discourse.org/about/

Serguei,

Regards, GB

**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:*Serguei Mokhov

- Previous by Date: Re: [isabelle] stackexchange.com use for proof assistants and related software
- Next by Date: Re: [isabelle] stackexchange.com use for proof assistants and related software
- Previous by Thread: Re: [isabelle] stackexchange.com use for proof assistants and related software
- Next by Thread: Re: [isabelle] 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