Coq formalization of work by Leemon Baird, by Gregory Malecha and Ryan Wisnesky.
Build Instructions on a Mac:
1. Install homebrew: [https://brew.sh/]
2. Install opam: [https://opam.ocaml.org/doc/Install.html]
brew install opam
3. Install extlib:
opam install extlib
4. Install coq-ext-lib: [https://github.com/coq-ext-lib/coq-ext-lib]
opam install coq-ext-lib
5. run make