ZiyaoWei / 6887psets

Problem Sets for MIT 6.887 Formal Reasoning About Programs

Home Page:https://frap.csail.mit.edu

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Problem Sets for MIT 6.887 Formal Reasoning About Programs

About

Problem Sets for MIT 6.887 Formal Reasoning About Programs

https://frap.csail.mit.edu


Languages

Language:Coq 99.0%Language:Makefile 1.0%