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

Links seem to 404

ice1000 opened this issue · comments

commented

Hi. This is an old draft that has never been published. It is better to refer to https://doi.org/10.46298/lmcs-19(1:12)2023 now. Best regards, Frédéric Blanqui.

commented

Appreciated!