logical_verification_2022. Logical Verification 2022-2023 course at VU Amsterdam

github.com/blanchette/logical_verification_2022

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.