Search results

no feedback in Emacs or VSCode

lspIssues related to Language Server ProtocolIssues related to Language Server Protocol

Status: Open.

#1363 In Deducteam/lambdapi;

· fblanqui opened on Apr 2, 2026

rule matching error

Status: Open.

#1362 In Deducteam/lambdapi;

· bodeveix opened on Mar 30, 2026

feature request: allow require commands in mapping files for lambdapi export --mapping

Status: Open.

#1351 In Deducteam/lambdapi;

· fblanqui opened on Feb 15, 2026

make odoc does not generate links to every module

Status: Open.

#1335 In Deducteam/lambdapi;

· fblanqui opened on Dec 13, 2025

Inefficient handling of let's in reduction and conversion

Status: Open.

#1324 In Deducteam/lambdapi;

· NotBad4U opened on Nov 25, 2025

error diagnostics contain redundant file path info

Status: Open.

#1311 In Deducteam/lambdapi;

· ciaran-matthew-dunne opened on Oct 9, 2025

capture of global identifiers

Status: Open.

#1300 In Deducteam/lambdapi;

· bodeveix opened on Sep 17, 2025

evaluation of lambda body

Status: Open.

#1298 In Deducteam/lambdapi;

· bodeveix opened on Sep 3, 2025

the LSP server returns no feedback in case of "assert false"

lspIssues related to Language Server ProtocolIssues related to Language Server Protocol

Status: Open.

#1275 In Deducteam/lambdapi;

· fblanqui opened on Jun 30, 2025

Can't use prefix symbols of arity > 1

Status: Open.

#1249 In Deducteam/lambdapi;

· amelieled opened on May 6, 2025

VS Code extension fails to display goals due to unfinished lines in proof-scripts

lspIssues related to Language Server ProtocolIssues related to Language Server Protocol

Status: Open.

#1218 In Deducteam/lambdapi;

· melanie-taprogge opened on Mar 13, 2025

The modifier associative commutative can be slow with large terms

Status: Open.

#1200 In Deducteam/lambdapi;

· NotBad4U opened on Feb 13, 2025