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.27.tar.gz
md5=e05eea1b975d8612c68feec068c4b963

Description

Tags

category:Computer Science/Semantics and Compilation/Semantics keyword:abstract syntax date:2017-11-27

Published: 30 Nov 2017

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None