Code

Kernel: Optimise conversion#280

Code

Merged

francoisthire merged 1 commit intomasterDeducteam/Dedukti:masterfrom francois@convertibility-optimisationDeducteam/Dedukti:francois@convertibility-optimisationCopy head branch name to clipboardJun 16, 2022

+5-1

Commits

Commits on Jun 16, 2022

• Kernel: Optimise conversion

  saroupille

  committed
  f9e6854

  Copy full SHA for f9e6854