A library for Gradual Certified Programming in Coq
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
Cast.v
DecidableExtns.v
Examples.v
Examples_fancy_extraction_hs.v
Examples_hs.v
Makefile
README.md
Showable.v
compiler.v
records.v

README.md

Cocasse

A library for Gradual Certified Programming in Coq

Authors

Nicolas Tabareau (Inria) and Éric Tanter (U.Chile)

Usage

To compile the coq files, you need the trunk branch of Coq (avalaible at https://github.com/coq, commit c2d053c6).

Simply type 'make' in the repository, coq_makefile will do the rest.