/coq-forcing

Tentative implementation of call-by-name forcing in Coq

Primary LanguageOCaml

Watchers