The Show class in Coq
- Author(s):
- Leonidas Lampropoulos (initial)
- Maxime Dénès (initial)
- Cătălin Hrițcu (initial)
- Benjamin C. Pierce (initial)
- Li-yao Xia
- Yishuai Li
- License: BSD 3-Clause "New" or "Revised" License
- Compatible Coq versions: 8.10 or later
- Coq namespace:
Show
To instead build and install manually, do:
git clone https://github.com/liyishuai/coq-show.git
cd coq-show
make # or make -j <number-of-cores-on-your-machine>
make install