GitHub repository: ppedrot/coq-forcing
Primary language: Coq
Created: 2015-11-04T10:33:45Z
Description: Tentative implementation of call-by-name forcing in Coq