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.
We make reliable, secured and decentralized applications.
We apply functional programming, formal verification, type theory, theorem proving, static analysis, DSL to industrial decentralized development.