LoginSignup

$ analyze @wataruY@github

posted articles:
  • Haskell:33%
  • Coq:33%
  • Agda:33%
answered questions:
  • No data