CoqHott / coq-forcingLinks

A plugin for Coq that implements the call-by-name forcing translation
12Updated 4 years ago

Alternatives and similar repositories for coq-forcing

Users that are interested in coq-forcing are comparing it to the libraries listed below

Sorting: