Project abstract: Logic atlas and integrator (LATIN) - Codescu, Silvestru Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian (18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011, 2011)