Code

Add classic logic operators#13

Code

Open

NotBad4U wants to merge 2 commits intoDeducteam:masterDeducteam/lambdapi-stdlib:masterfrom NotBad4U:add-classicNotBad4U/lambdapi-stdlib:add-classicCopy head branch name to clipboard

+419

Commits

Commits on Feb 1, 2024

• Add classic logic operators

  

  NotBad4U

  authored and

  NotBad4U

  committed
  93b7d8b

  Copy full SHA for 93b7d8b

Commits on Apr 3, 2024

• Add proof to EM and fix the meta is left uninstanciated for forall definition and rules

  NotBad4U

  committed
  f6e8554

  Copy full SHA for f6e8554