GitHub repository: Deducteam/Deducteam.github.io
Primary language: HTML
Description: Webpage for Dedukti and related tools