Giters

Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dk --version does not work

fblanqui opened this issue · comments

commented

it returns "%%VERSION%%"