Issues

• deriving FromSexp and default fields

  leanprover/KLR#404 · Filter by author seanmcl opened on Oct 7, 2025

• lake build should build all subdirs with lakefiles

  leanprover/KLR#201 · Filter by author seanmcl opened on Jul 7, 2025

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

  leanprover/KLR#129 · Filter by author aqjune-aws opened on May 27, 2025

• Get rid of weird unicode chars in output

  leanprover/KLR#88 · Filter by author seanmcl opened on Mar 27, 2025

• Make new types for byte-counts vs element-counts

  leanprover/KLR#82 · Filter by author seanmcl opened on Mar 14, 2025

• Restict pip deployments to main branch

  leanprover/KLR#67 · Filter by author seanmcl opened on Feb 28, 2025

• Improve argument inference mechanism

  enhancement
  Task

  leanprover/KLR#39 · Filter by author govereau opened on Feb 12, 2025