ProofWiki Semantic Wiki

A ProofWiki Semantic Wiki is a Semantic Wiki for mathematical proofs.

• See: GM-RKB Semantic Wiki, Knowledge Base.

---

---

References

2013

• http://www.proofwiki.org/wiki/ProofWiki:About
  • ProofWiki is dedicated to providing a place where people can take their knowledge of math proofs and share it online. Anyone can add or edit articles on math proofs from any field of mathematics.

---