Nine Chapters dedicates to finding the most general methods of solving problems. We apply functional programming, formal verification, type theory, theorem proving, static analysis, DSL to make flexible, reliable and secured industrial decentralized application.

This website is Nine Chapters’ devlog. Please feel free to contact us if you got any suggestion or question!