Run the libraries
francoisthire opened this issue · comments
The libraries at https://deducteam.github.io/data/libraries/matita.tar.gz seems outdated with http://logipedia.inria.fr/nubo/.
Implementation of the λΠ-calculus modulo rewriting
francoisthire opened this issue · comments
The libraries at https://deducteam.github.io/data/libraries/matita.tar.gz seems outdated with http://logipedia.inria.fr/nubo/.