cc23 / MFODL-Typing

This is a copy of the MonPoly monitor and contains the theories on MFODL typing rules described in my bachelor thesis.

https://bitbucket.org/jshs/monpoly/src/master/

Geek Repo

Github PK Tool