News

September 1, 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.