GitHub repository: phadej/lens-laws
Primary language: Coq
Created: 2018-12-11T14:21:45Z
Description: Existential Optics: discovering correct lens laws