Re: [isabelle] stackexchange.com use for proof assistants and related software



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 Mokhov
http://www.cs.concordia.ca/~mokhov
http://marf.sf.net | http://sf.net/projects/marf





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.