Code

add tactic set#1101

Code

Merged

fblanqui merged 18 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom fblanqui:setfblanqui/lambdapi:setCopy head branch name to clipboardNov 10, 2024

+350-234

Commits

Commits on Apr 26, 2024

• add tactic set

  fblanqui

  committed
  91a7ab2

• wip

  fblanqui

  committed
  3a89e3e

• wip

  fblanqui

  committed
  532297f

Commits on Apr 29, 2024

• print definitions in lsp clients

  fblanqui

  committed
  49b1882

• fix Eval.simplify and Goal.simpl

  fblanqui

  committed
  a9a155f

• details

  fblanqui

  committed
  ed4cceb

• fix of_prod_using

  fblanqui

  committed
  e95a676

Commits on Apr 30, 2024

• wip

  fblanqui

  committed
  7cd6ae2

• wip

  fblanqui

  committed
  a62bb26

• wip

  fblanqui

  committed
  07f00f5

• wip

  fblanqui

  committed
  20ea1dc

• wip

  fblanqui

  committed
  5b90602

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  21287fc

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  db66348

Commits on Jun 24, 2024

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  ef88e51

Commits on Aug 30, 2024

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  27bcb94

Commits on Oct 30, 2024

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  9dbfd5f

Commits on Nov 10, 2024

• details

  fblanqui

  committed
  195ca29