Search results

qauto breaks goal into multiple subgoals instead of solving or failing.

bugSomething isn't workingSomething isn't working

Status: Open.

#183 In lukaszcz/coqhammer;

· sakekasi opened on Jul 23, 2024

Proof General UI and kernel out of sync from aborting tactics?

Status: Open.

#180 In lukaszcz/coqhammer;

· AndreasLoow opened on Apr 25, 2024

Support for CVC5

enhancementNew feature or requestNew feature or request

Status: Open.

#171 In lukaszcz/coqhammer;

· palmskog opened on Nov 11, 2023

Bug with Strictprop?

Status: Open.

#156 In lukaszcz/coqhammer;

· patrick-nicodemus opened on Apr 14, 2023

CoqHammer fails at easy mathcomp goals

enhancementNew feature or requestNew feature or request

Status: Open.

#145 In lukaszcz/coqhammer;

· aleloi opened on Aug 25, 2022

Syntax error for output of hammer

bugSomething isn't workingSomething isn't working

Status: Open.

#144 In lukaszcz/coqhammer;

· skogsbaer opened on Aug 11, 2022

Unfolding of notations

enhancementNew feature or requestNew feature or request

Status: Open.

#141 In lukaszcz/coqhammer;

· skogsbaer opened on Aug 10, 2022

No 2> /dev/null redirection

enhancementNew feature or requestNew feature or request

Status: Open.

#140 In lukaszcz/coqhammer;

· skogsbaer opened on Aug 10, 2022

Install non-user-facing programs in /usr/libexec

Status: Open.

#139 In lukaszcz/coqhammer;

· SnarkBoojum opened on Jul 15, 2022

Improve CoqHammer error message when 'predict' not found

enhancementNew feature or requestNew feature or request

Status: Open.

#138 In lukaszcz/coqhammer;

· aleloi opened on Jul 8, 2022

<code>sauto</code> causes "Unable to handle arbitrary u+k &lt;= v constraints."

bugSomething isn't workingSomething isn't working

Status: Open.

#134 In lukaszcz/coqhammer;

· QinshiWang opened on May 24, 2022

hammer tactic fails when dealing with .vos files

enhancementNew feature or requestNew feature or request

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#131 In lukaszcz/coqhammer;

· yiyunliu opened on Mar 29, 2022