deducteam / sukerujo Goto Github PK

Currently, the README at the root of the repo is almost a copy of the README of dedukti (save for a few line at the beggining), which makes the projet look like a fork of dedukti, most notably incompatible with a vanilla installation of dedukti since the README still uses the dedukti name and the same binary names as dedukti, together with an install section, all of which strongly suggests that it would overwrite a previous installation of dedukti.

Instead, it would be better to have a different README, maybe explaining what Sukerujo is, the main differences with dedukti, whether is replaces dedukti, what commands/binaries it installs, and how to use it ?

The current version of Sukerujo is compatible with the version 2.6.0 of Dedukti. We should use a tag and a branch to follow this version of Dedukti and let the master branch free to follow the recent developments of Dedukti.