1 search result for "tag:"logpath:TypingFlags""

Showing 1 - 1
  1. coq-typing-flags

    No documentation

    A Coq plugin to disable positivity check, guard check and termination check
    keyword:non-termination keyword:type-in-type category:Miscellaneous/Coq Extensions date:2019-11-02 logpath:TypingFlags
    Simon Boulier
    1.0
    Unknown
    Used by 0 other packages
    02 Nov 2019