package coq-typing-flags
A Coq plugin to disable positivity check, guard check and termination check
Install
Dune Dependency
Authors
Maintainers
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:TypingFlagsPublished: 02 Nov 2019
On This Page