ProofWiki Semantic Wiki

From GM-RKB
(Redirected from ProofWiki)
Jump to: navigation, search

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



References

2013