search
LoginSignup

株式会社proof ninja

ソフトウェアを数学的に証明する会社です。

Help us understand the problem. What are the problem?

Members (2)

Show all

See all organizations

Frequently posted tags
  • Coq

    • yoshihiro503

    14Posts

    80Likes

  • OCaml

    • yoshihiro503

    8Posts

    16Likes

  • Erlang

    • yoshihiro503

    7Posts

    33Likes

  • ProofCafe

    • yoshihiro503

    7Posts

    15Likes

  • ssreflect

    • yoshihiro503

    6Posts

    9Likes

Popular posts

Newest posts