GitHub repository: CoqHott/template-coq-forcing
Primary language: Coq
Created: 2018-02-21T11:01:09Z
Description: A call-by-name forcing translation implemented in Template Coq