This repository is not active
pratapsingh1729/abstract-machines-in-coq-oplss22
Coq version of Paul Downen's OPLSS22 tutorial on abstract machines
CoqMIT
Coq version of Paul Downen's OPLSS22 tutorial on abstract machines
CoqMIT
This repository is not active