Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
Primary LanguageIsabelle
No issues in this repository yet.