-
Robbert Krebbers authored
- Put code and proofs of examples in a single file. - Rename encode/decode to avoid conflicts with encode/decode (of the countable class) in stdpp. - Remove useless imports.
cce7faa3
- Put code and proofs of examples in a single file. - Rename encode/decode to avoid conflicts with encode/decode (of the countable class) in stdpp. - Remove useless imports.