This folder contains official documentation about the various components of radeco-lib. Note that these are not source-level documentation and present a higher level abstraction of the system to explain the design and soundness of the same. All algorithms presented must be language or implementation independent.