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 development files of the proof extension for root. this provides a client to use in a proof environment.