generated at
proof ninja, inc.


https://proof-ninja.co.jp/
https://twitter.com/proof_ninja

Coq, OCaml, Scala

#企業