francoisthire/DeduktiEncodings

Various encoding written in Dedukti