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-11-6 Minami Tokiwadai, Itabashi-ku, Tokyo, Japan

Establishment

September 02, 2019

Capital Stock

11 million yen (including capital surplus)

Customers

Financial Institution

Contact

contact@proof-ninja.co.jp