/Optics

Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL

Primary LanguageIsabelle

Watchers