Writing review for Lean 4 - Bridging Formal Mathematics and Software Verification

Conference on Computer-Aided Verification

via YouTube

Your review helps other learners like you discover great courses. Only review the course if you have taken or started taking this course.

Cancel