Coq Dumping Ground This repo is a dumping ground of unrelated Coq code. Table of Contents: metalib: my solutions to coq-metalib's tutorial.