LoginSignup

$ analyze @yoshihiro503

posted articles:
  • Coq:44%
  • OCaml:26%
  • Erlang:21%
  • ProofCafe:21%
  • ssreflect:18%
answered questions:
  • No data