/coq-forcing

A plugin for Coq that implements the call-by-name forcing translation

Primary LanguageCoq

Watchers