logical_verification_2019. Repository for the course Logical Verification 2019–2020 at VU Amsterdam

github.com/blanchette/logical_verification_2019

Vaya's read on this project

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

Updates

No recent activity.