Skip to content

CBOR codec: implementation, specification, and round-trip proofs (in progress) - #2

Merged
orda-aska merged 21 commits into
mainfrom
ins-ember/cbor-codec
Oct 29, 2026
Merged

CBOR codec: implementation, specification, and round-trip proofs (in progress)#2
orda-aska merged 21 commits into
mainfrom
ins-ember/cbor-codec

Add Proofs/RoundTrip.lean (round-trip theorems)

77ae41f
Select commit
Loading
Failed to load commit list.

There are no checks for this commit