News
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.
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.