An introduction to proving theorems and certifying programs with Coq.
Home Page:https://docs.google.com/presentation/d/1n_17Y9NazYzMfZEblAmwh-JEBGyBmuBLhjyQHrbPWYU/edit?usp=sharing
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool