$ analyze @yoshihiro503

posted articles:
  • Coq:42%
  • OCaml:29%
  • ProofCafe:18%
  • Erlang:18%
  • ssreflect:16%
answered questions:
  • No data