Giters

GuillaumeGen / Deducteam.github.io

Webpage for Dedukti and related tools

Home Page:https://deducteam.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Source files of the website of the Dedukti project

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

About

Webpage for Dedukti and related tools

https://deducteam.github.io

Languages

Language:HTML 74.2%Language:TeX 21.1%Language:CSS 4.5%Language:OpenEdge ABL 0.1%