Comment
Comment by gdsimoes
What I like most about ProofWiki is its sometimes nonstandard notations. For example, the interval notation: https://proofwiki.org/wiki/Definition:Real_Interval/Notation
No comments yet
Be the first to share your thoughts.