├── README.md └── coq-lit.py /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wilcoxjay/coq-lit/HEAD/README.md -------------------------------------------------------------------------------- /coq-lit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wilcoxjay/coq-lit/HEAD/coq-lit.py --------------------------------------------------------------------------------