xryuseix/ProofLeader

markdownファイルの句読点や整数表記を修正

PythonMIT