Search results

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

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

Goto definition ignores qualifier

lspIssues related to Language Server ProtocolIssues related to Language Server Protocol

Status: Open.

#525 In Deducteam/lambdapi;

· firewall2142 opened on Jan 16, 2021

What if type-checking does not terminate in LSP? How to interrupt?

feature request

lspIssues related to Language Server ProtocolIssues related to Language Server Protocol

Status: Open.

#327 In Deducteam/lambdapi;

· amelieled opened on Apr 2, 2020

LSP server: parse and check commands one by one

lspIssues related to Language Server ProtocolIssues related to Language Server Protocol

Status: Open.

#261 In Deducteam/lambdapi;

· francoisthire opened on Oct 24, 2019

[lsp] Support incremental checking

feature request

lspIssues related to Language Server ProtocolIssues related to Language Server Protocol

Status: Open.

#86 In Deducteam/lambdapi;

· ejgallego opened on Oct 8, 2018