jashug / IWTypes

A Coq development of the theory of Indexed W types with function extensionality.
11Updated 7 years ago

Alternatives and similar repositories for IWTypes:

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