-
Notifications
You must be signed in to change notification settings - Fork 39
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Support for CVC5
enhancementNew feature or requestNew feature or requestStatus: Open.#171 In lukaszcz/coqhammer;CoqHammer fails at easy mathcomp goals
enhancementNew feature or requestNew feature or requestStatus: Open.#145 In lukaszcz/coqhammer;- Status: Open.#139 In lukaszcz/coqhammer;
hammer tactic fails when dealing with .vos files
enhancementNew feature or requestNew feature or requestwontfixThis will not be worked onThis will not be worked onStatus: Open.#131 In lukaszcz/coqhammer;sauto times out on reasonably small example
enhancementNew feature or requestNew feature or requestStatus: Open.#77 In lukaszcz/coqhammer;- Status: Open.#6 In lukaszcz/coqhammer;