righ1113
righ1113
1 repositories
定理証明支援系に興味があります。
https://blog.hatena.ne.jp/righ1113/

esty

Enjoy one-liner programming!

crystal crystal-lang
  • 0
  • 0
  • 0
  • 0
  • 0
  • about 4 years ago