The Solidity source code for the Mangrove protocol is available .
The Mangrove protocol is commented in the tradition of where natural language and code is intervowen. Thus, the protocol code itself actually constitutes a very readable and comprehensive technical documentation.
A nicely formatted, single webpage representation of the literate source code can be found .
