ProofWiki:Bulletin Board

ProofWiki Community Bulletin Board We are trying to get rid of the Definition namespace and just using the definitions category. If you have any questions, post them on the discussion page for the main page.