$ analyze @yoshihiro503

posted articles:
  • Coq:43%
  • OCaml:30%
  • ProofCafe:19%
  • Erlang:19%
  • ssreflect:16%
answered questions:
  • No data