EliDupree's Coq Experiments

This readme is probably out of date. But at the time of this writing, the main thing here was UniqueContainers.v, a project where I made a HashSet container type that provably provided a rigorous unique container interface.