The article discusses various reports published within the issue including one by German Geuvers which provides an overview of proof assistants, another one by Andrea Asperti which tackles issues on the implementation of kernel of Matita, and by Freek Wiedijk which provides overview of the process on Arrow's theorem proving.