search

Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting
https://deducteam.github.io
Other
200 stars 22 forks source link

Links seem to 404 #314

Closed ice1000 closed 11 months ago

ice1000 commented 11 months ago

image

http://www.lsv.fr/~dowek/Publi/expressing.pdf

fblanqui commented 11 months ago

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.

ice1000 commented 11 months ago

Appreciated!