/abstract-machines-in-coq-oplss22

Coq version of Paul Downen's OPLSS22 tutorial on abstract machines

Primary LanguageCoqMIT LicenseMIT

This repository is not active