OAI/Analysis/MatrixSigning/Encoding/
342 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- BinaryEncoding.lean 30 declarations
- DenseCanonicalParser.lean 19 declarations
- FixedPositiveSerializer.lean 10 declarations
- FlattenLookup.lean 1 declarations
- FrameActivity.lean 4 declarations
- FrameDecoder.lean 21 declarations
- FrameWireCodec.lean 14 declarations
- FramedArrayPorts.lean 4 declarations
- FramedArrayPrefix.lean 21 declarations
- FramedArrayReplacement.lean 25 declarations
- FramedArrayReplacementPorts.lean 4 declarations
- FramedArrayRetrieval.lean 11 declarations
- FramedArraySkip.lean 23 declarations
- InverseEncodingSize.lean 5 declarations
- PositiveWireSerializer.lean 18 declarations
- ReusableArrayLookup.lean 28 declarations
- SignedQuotientSerializer.lean 6 declarations
- SumEncodingSize.lean 7 declarations
- UnsignedPairSerializer.lean 11 declarations
- WireAppend.lean 5 declarations
- WireMagnitude.lean 17 declarations
- WirePrimitives.lean 11 declarations
- WireProgramPrimitives.lean 12 declarations
- WordOperations.lean 7 declarations
- ZeroArrayConstructor.lean 28 declarations