/ProofLeader

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

Primary LanguagePythonMIT LicenseMIT

Stargazers