All pull requests

Pull requests

• Slightly simplify error printing

  #1517·fblanqui opened Sep 25, 2026Member·

  ·

• Fix unfinished proof handling and missing end tokens

  #1516·Alidra opened Sep 21, 2026Member·

  ·

• new apply tactic

  #1513·bodeveix opened Sep 14, 2026Collaborator·

  ·
  1

• adds a #abstract tactic

  #1505·bodeveix opened Sep 6, 2026Collaborator·

  ·
  9

• Export to Lean: Fix on non-aligned types and warning-styles

  #1445·navimath opened Jul 6, 2026Contributor·

  ·
  1

• Conditional rules

  #1438·bodeveix opened Jul 2, 2026Collaborator·

  ·

• #with_goal tactic

  #1430·bodeveix opened Jun 26, 2026Collaborator·

  ·
  24

• PR to update Dk lexer when Dk 2.8 is released

  #1413·fblanqui opened Jun 17, 2026Member·

  ·

• Tools to use Elpi in Lambdapi + type classes

  #1378·agontard opened May 23, 2026Contributor·

  ·
  3

• LSP: completion, document outline, documentation hovers, tests

  #1371·ciaran-matthew-dunne opened Apr 22, 2026Contributor·

  ·
  4

  

• rewrite emacs SMIE grammar

  #1369·fblanqui opened Apr 21, 2026Member·

  ·
  1

• Export/Import lpo

  #1365·Alidra opened Apr 9, 2026Member·

  ·

• improve applicability of the apply tactic

  #1279·fblanqui opened Jul 2, 2025Member·

  ·
  2

• Test dream (do not merge or remove)

  #1260·fblanqui opened Jun 6, 2025Member·

  ·

• Add the command lambdapi depend to compute dependencies quickly

  #1212·fblanqui opened Feb 28, 2025Member·

  ·

• Reimplement conversion modulo AC

  #1211·fblanqui opened Feb 27, 2025Member·

  ·
  7

• Exports for the format TRS + small improvement to HRS export

  #1028·thiagofelicissimo opened Jan 19, 2024·

  ·
  5

• add export to SOL

  #995·fblanqui opened Jun 9, 2023Member·

  ·

• Skolemization

  #876·Taissirbw opened Jun 2, 2022·

  ·

• Extended identifiers

  #818·gabrielhdt opened Jan 19, 2022Collaborator·

  ·
  10

• Term transformation helper function

  #781·gabrielhdt opened Dec 17, 2021Collaborator·

  ·
  11

• [POC] run Elpi code in lambdapi

  #418·gares opened Jun 9, 2020·

  ·
  13

• depgraph.sh generates the dependency graph of the project (#154)

  #383·Rehan-MALAK opened Apr 30, 2020Contributor·

  ·
  9

• Implementation of an algorithm for checking SR and injectivity

  #200·wujuihsuan2016 opened Mar 25, 2019·

  ·
  133