package coq-typing-flags

  1. Overview
  2. No Docs
A Coq plugin to disable positivity check, guard check and termination check

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. S
    Simon Boulier

Maintainers

  1. D
    dev@clarus.me

Sources

v1.0.tar.gz
sha512=272748e6c0d505e4cc41d641e44f9088ab93c9412fe632b8ad67e0d223c234ba76059679674b6d170485ff3d24e1c6d35918a6a5c7336815e4ab32f43f581117

Description

Tags

keyword:non-termination keyword:type-in-type category:Miscellaneous/Coq Extensions date:2019-11-02 logpath:TypingFlags

Published: 02 Nov 2019

Dependencies (2)

  1. ocaml
  2. coq >= "8.7" & < "8.10~"

Dev Dependencies

None

Used by

None

Conflicts

None