Code

add export to SOL#995

Code

Open

fblanqui wants to merge 6 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom fblanqui:solfblanqui/lambdapi:solCopy head branch name to clipboard

+158-1

Commits

Commits on Jun 8, 2023

• add export to SOL

  fblanqui

  committed
  50c5d37

  Copy full SHA for 50c5d37

Commits on Jun 9, 2023

• Merge remote-tracking branch 'lp/master' into sol

  fblanqui

  committed
  9617031

  Copy full SHA for 9617031

Commits on Jun 12, 2023

• add axioms

  fblanqui

  committed
  dcadc1e

  Copy full SHA for dcadc1e

• Merge remote-tracking branch 'lp/master' into sol

  fblanqui

  committed
  e5339cb

  Copy full SHA for e5339cb

• add doc

  fblanqui

  committed
  29d0bb4

  Copy full SHA for 29d0bb4

• add comment on allowed identifiers in SOL

  fblanqui

  committed
  4176ae5

  Copy full SHA for 4176ae5