Metamath C(github.com)2 points·by smj-edison·vor 3 Monaten·0 commentsgithub.comMetamath Chttps://github.com/digama0/mm0/blob/master/mm0-rs/mmc.md0 commentsPost comment—