What is Nine Chapters

The name Nine Chapters is from an ancient Chinese mathematics book – The Nine Chapters on the Mathematical Art (九章算術). It lays out an approach to mathematics that centres on finding the most general methods of solving problems. As this book stands for, we expect ourselves to become one of the most important pioneers of introducing cutting-edge technologies from academia into industries.

Our Mission

We make reliable, secured and decentralized applications.

Our Strength

We apply functional programming, formal verification, type theory, theorem proving, static analysis, DSL to industrial decentralized development.