GitHub / boulme / ImpureDemo

A Coq library to embed Impure OCaml oracles in certified Coq code

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/boulme%2FImpureDemo
PURL: pkg:github/boulme/ImpureDemo

Stars: 1
Forks: 0
Open issues: 0

License: lgpl-3.0
Language: Coq
Size: 58.6 KB
Dependencies parsed at: Pending

Created at: almost 7 years ago
Updated at: over 1 year ago
Pushed at: over 1 year ago
Last synced at: over 1 year ago

Topics: coq-extraction, coq-library, ocaml-library

Loading...