GitHub repository: jwiegley/category-solver
Primary language: Coq
Created: 2017-06-12T13:25:41Z
Description: A solver for categorical equivalences in Coq based on computational reflection