GitHub repository: wilcoxjay/miniprl-coq
Primary language: Coq
Created: 2016-08-31T06:44:27Z
Description: A port of MiniPRL to Coq