MixR is a heterogeneous reasoning framework. It is based on the NetBeans Plathfom and highly extensible. Via MixR drivers existing theorem provers are extended with HR.