Giters

pratapsingh1729 / abstract-machines-in-coq-oplss22

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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

License:MIT License

Languages

Language:Coq 100.0%