All issues

Search results

Support for CVC5

enhancementNew feature or request New feature or request

Status: Open.

#171 In lukaszcz/coqhammer;

· palmskog opened on Nov 11, 2023

CoqHammer fails at easy mathcomp goals

enhancementNew feature or request New feature or request

Status: Open.

#145 In lukaszcz/coqhammer;

· aleloi opened on Aug 25, 2022

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

Status: Open.

#139 In lukaszcz/coqhammer;

· SnarkBoojum opened on Jul 15, 2022

hammer tactic fails when dealing with .vos files

enhancementNew feature or request New feature or request

wontfixThis will not be worked on This will not be worked on

Status: Open.

#131 In lukaszcz/coqhammer;

· yiyunliu opened on Mar 29, 2022

sauto times out on reasonably small example

enhancementNew feature or request New feature or request

Status: Open.

#77 In lukaszcz/coqhammer;

· samuelgruetter opened on Jul 27, 2020

Understanding a failure to reconstruct a proof.

Status: Open.

#6 In lukaszcz/coqhammer;

· jeremysalwen opened on Oct 14, 2018