SimonBoulier / TypingFlagsLinks

A Coq plugin to disable positivity check, guard check and termination check
16Updated 5 years ago

Alternatives and similar repositories for TypingFlags

Users that are interested in TypingFlags are comparing it to the libraries listed below

Sorting: