1 September 2021: CL welcomes Manuel Eberl as new member

Manuel joins the CL-team as post-doctoral researcher. He is a well known Isabelle user and one of the editors of the archive of formal proofs.