Skip to content
  • Paolo G. Giarrusso's avatar
    Mode for Equiv · 5f5c02af
    Paolo G. Giarrusso authored
    Include workaround for Coq bug #14441, and drop now-failing test for that Coq
    bug.
    5f5c02af