/Deducteam.github.io

Webpage for Dedukti and related tools

Primary LanguageHTML

No issues in this repository yet.