/DeduktiEncodings

Various encoding written in Dedukti

Stargazers

No one’s star this repository yet.