Giters

isabelle-utp / Optics

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Optics

This repository is now deprecated, please use the version in mirror AFP instead.

About

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

Languages

Language:Isabelle 80.1%Language:Standard ML 13.1%Language:TeX 5.8%Language:OCaml 1.1%