Giters

Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting

Home Page:https://deducteam.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Confluence module should be a processor

francoisthire opened this issue · comments

commented

The confluence module should not be in the kernel and should be a processor.