search

Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting
https://deducteam.github.io
Other
200 stars 22 forks source link

dk --version does not work #300

Open fblanqui opened 2 years ago

fblanqui commented 2 years ago

it returns "%%VERSION%%"