Huffman 8.9.0 maintenance release
Maintenance release after move to Coq-community, with Coq 8.9 compatibility, featuring the following changes:
- consistently parameterize lists on element types in
Type
rather than inSet
for generality - add
Proof using
annotations for better parallel proving - modernize the build scripts to use
coq_makefile
features