Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
Primary LanguageIsabelle
This repository is now deprecated, please use the version in mirror AFP instead.