graph-comp. Coq proofs for the paper "Proving Correctness of Compilers Using Structured Graphs"

github.com/pa-ba/graph-comp

Problem

Audience

Updates

No founder updates yet. Check back soon.