Help us understand the problem. What is going on with this user?
@lion
自分用のメモを中心に投稿していきたいと思います.
Following tags are none
$ analyze @lion
posted articles
  • Coq:26%
  • 数学:26%
  • Git:11%
  • Haskell:5%
  • Bash:5%
LGTMed articles
  • 勉強会:19%
  • Coq:13%
  • Linux:13%
  • 機械学習:13%
  • Docker:13%
answered questions
    No data