/src/Encoding/

• ../
• EncodingTheorems.v
• ModularWordEncodingPre.v
• ModularWordEncodingTheorems.v
• PointEncodingPre.v