logicalhacking / Featherweight_OCL

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

Geek Repo

Github PK Tool