Metamath C(github.com)2 ポイント·投稿者 smj-edison·3 か月前·0 コメントgithub.comMetamath Chttps://github.com/digama0/mm0/blob/master/mm0-rs/mmc.md0 コメントコメントを投稿—