package coq-ott

  1. Overview
  2. No Docs
Auxiliary library for Ott, a tool for writing definitions of programming languages and calculi

Install

Dune Dependency

www.cl.cam.ac.uk Edit opam file Versions (9)

Authors

  1. P
    Peter Sewell
  2. F
    Francesco Zappa Nardelli
  3. S
    Scott Owens

Maintainers

  1. P
    palmskog@gmail.com

Sources

0.26.tar.gz
md5=8aee607f1a386b3e12b1dfe0c2cf7ca1

Description

Tags

category:Computer Science/Semantics and Compilation/Semantics keyword:abstract syntax date:2017-09-21

Published: 22 Sep 2017

Dependencies (2)

  1. coq ((>= "8.5" & < "8.6~") | (>= "8.6" & < "8.7~"))
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None