search

sfja / sfja

SoftwareFoundations(Ja)
http://proofcafe.org/sf/
MIT License
71 stars 26 forks source link

fix typo #36

Closed kmyk closed 6 years ago

yoshihiro503 commented 6 years ago

ありがとうございます。