Hacker News new | ask | show | jobs
by gdsimoes 873 days 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