Search results

Unification error during inductive type verification in presence of AC operators

Status: Open.

#1407 In Deducteam/lambdapi;

· bodeveix opened on Jun 12, 2026

error message not correctly printed in console

Status: Open.

#1405 In Deducteam/lambdapi;

· fblanqui opened on Jun 10, 2026

DK-to-Rocq export prints native equality without explicit type argument

Status: Open.

#1387 In Deducteam/lambdapi;

· melanie-taprogge opened on Jun 5, 2026

warnings with emacs mode

Status: Open.

#1364 In Deducteam/lambdapi;

· fblanqui opened on Apr 6, 2026

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

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