Geeks
isabelle-utp
/
Optics
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
Primary Language
Isabelle
Optics GitHub
Markdown
Readme
0
Issues
5
Stargazers
11
Watchers
Stargazers
bond15
Two Six Labs
cplaursen
York, UK
Frank-Zeyda
Galois, Inc.
kiniry
@FreeAndFair @GaloisInc
rsoeldner