/Deducteam.github.io

Webpage for Dedukti and related tools

Primary LanguageHTML

Source files of the website of the Dedukti project

The website is hosted on GitHub and changes are propagated automatically.