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.28.tar.gz
md5=42c76a821b8ba1528f6b99025cc6f2b0

Description

Tags

category:Computer Science/Semantics and Compilation/Semantics keyword:abstract syntax date:2018-04-24

Published: 26 Apr 2018

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None