Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting

https://deducteam.github.io

.github folder

francoisthire opened this issue 5 years ago · comments

fthire commented 5 years ago

As Coq, we should have a .github folder: https://github.com/coq/coq/tree/master/.github