The root system provides a set of oo frameworks with all the functionality needed to handle and analyze large amounts of data efficiently.

this package contains the proof extension for root. this provides a client to use in a proof environment.