Deducteam/Dedukti-standard

This repository aims to provide documents which describe the Dedukti standard

TeX