package coq-hammer

  1. Overview
  2. No Docs
Automation for Dependent Type Theory

Install

Dune Dependency

cl-informatik.uibk.ac.at Edit opam file Versions (30)

Authors

  1. Ł. Czajka
  2. C
    Cezary Kaliszyk

Maintainers

  1. J
    Julien Narboux <julien@narboux.fr>

Sources

coqhammer-1.0.3-coq8.6.tar.gz
md5=4d0fb044c9ddecac60b6aea7310a2379

Description

Tags

keyword:automation category:Miscellaneous/Coq Extensions date:2017-09-30

Published: 09 Oct 2017

Dependencies (3)

  1. coq (>= "8.6" & < "8.7~")
  2. conf-g++ build
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None