Metamath: A Stack-Oriented Language and Proof Explorerus.metamath.org3 points·imode··0 commentsOpen articleSaveView on HN