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.
1 September 2021: CL welcomes Manuel Eberl as new member
- Details
- Category: News Archive
- Read Time: 1 min
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.