All issues

Search results

deriving FromSexp and default fields

Status: Open.

#404 In leanprover/KLR;

· seanmcl opened on Oct 7, 2025

lake build should build all subdirs with lakefiles

Status: Open.

#201 In leanprover/KLR;

· seanmcl opened on Jul 7, 2025

The trace output of KLR may have a statement that is not well-formed

Status: Open.

#129 In leanprover/KLR;

· aqjune-aws opened on May 27, 2025

Get rid of weird unicode chars in output

Status: Open.

#88 In leanprover/KLR;

· seanmcl opened on Mar 27, 2025

Make new types for byte-counts vs element-counts

Status: Open.

#82 In leanprover/KLR;

· seanmcl opened on Mar 14, 2025

Restict pip deployments to main branch

Status: Open.

#67 In leanprover/KLR;

· seanmcl opened on Feb 28, 2025

Improve argument inference mechanism

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#39 In leanprover/KLR;

· govereau opened on Feb 12, 2025