coqMusings

This is a common place for sharing Coq examples to support discussions in the lab. No guarantees that anything will compile or run. No guarantees anything is correct. Just a playground for sharing.