4 ms·
What I like most about ProofWiki is its sometimes nonstandard notations. For example, the interval notation: https://proofwiki.org/wiki/Definition:Real_Interval
by gdsimoes 3y ago
What I like most about ProofWiki is its sometimes nonstandard notations. For example, the interval notation: https://proofwiki.org/wiki/Definition:Real_Interval/Notation https://proofwiki.org/wiki/Definition:Real_Interval/Notation