GitHub repository: CoqHott/coq-forcing
Primary language: Coq
Created: 2016-01-14T13:45:47Z
Description: A plugin for Coq that implements the call-by-name forcing translation