English 日本語

proof ninja, Inc.

We develop mathematically proven software using formal verification tools and functional programming languages.

Business Content

Software verification / development

Achieve highly reliable software development with functional programming and proof assistants.

Consulting

Consult us about the development of highly reliable software using formal verifications.

Seminar / Employee training

Technical seminars to learn proof assistants and functional programming.

Company Profile

Company Name

proof ninja, Inc.

CEO

Yoshihiro Imai profile

Location

1 Minami Tokiwadai, Itabashi-ku, Tokyo, Japan

Establishment

September 02, 2019

Capital Stock

11 million yen (including capital surplus)

Affiliated Company

• DWANGO Co., Ltd.

Customers

• DaiLambda, Inc.
• Nagoya University
• National Institute of Infomatics
• Everforth Co., Ltd.

Financial Institution

• GMO Aozora Net Bank
• MUFG Bank

Contact

contact@proof-ninja.co.jp