Code

Fix #319#323

Code

Merged

gabrielhdt merged 2 commits intoDeducteam:masterDeducteam/Dedukti:masterfrom GuillaumeGen:gg_thm_without_typeGuillaumeGen/Dedukti:gg_thm_without_typeCopy head branch name to clipboardJun 14, 2024

+3-3

Commits

Commits on Mar 1, 2024

• Fix Deducteam#319

  GuillaumeGen

  committed
  c50af28

Commits on Apr 7, 2024

• Merge branch 'master' into gg_thm_without_type

  gabrielhdt

  authored
  2dc309e