Code

fix induction command (issue #1141)#1142

Code

Merged

fblanqui merged 1 commit intoDeducteam:masterDeducteam/lambdapi:masterfrom fblanqui:indfblanqui/lambdapi:indCopy head branch name to clipboardOct 10, 2024

+12-3

Commits

Commits on Oct 10, 2024

• fix induction command (issue Deducteam#1141)

  fblanqui

  committed
  4cb7429

  Copy full SHA for 4cb7429