Metamath C(github.com)2 points·by smj-edison·3 เดือนที่ผ่านมา·0 commentsgithub.comMetamath Chttps://github.com/digama0/mm0/blob/master/mm0-rs/mmc.md0 commentsPost comment—