Release Candidates for Isabelle2024https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/2024-03/msg00012.html by c0balt • 2 years ago 1 0 2 years agoLIlists.cam.ac.uk