Release Candidates for Isabelle2024lists.cam.ac.uk1 point·c0balt··0 commentsOpen articleSaveView on HN