https://github.com/liyishuai/coq-show

The Show class in Coq
https://github.com/liyishuai/coq-show

coq coq-library

Last synced: about 1 month ago
JSON representation

The Show class in Coq

• Host: GitHub
• URL: https://github.com/liyishuai/coq-show
• Owner: liyishuai
• License: bsd-3-clause
• Created: 2020-05-21T07:05:51.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-05-27T22:31:23.000Z (over 4 years ago)
• Last Synced: 2024-11-13T08:24:07.465Z (3 months ago)
• Topics: coq, coq-library
• Language: Coq
• Homepage: https://liyishuai.github.io/coq-show/
• Size: 7.81 KB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# coq-show

[![Travis][travis-shield]][travis-link]

[![CI][action-shield]][action-link]

[![CircleCI][circleci-shield]][circleci-link]

[travis-shield]: https://travis-ci.com/liyishuai/coq-show.svg?branch=master

[travis-link]: https://travis-ci.com/liyishuai/coq-show/builds

[action-shield]: https://github.com/liyishuai/coq-show/workflows/CI/badge.svg?branch=master

[action-link]: https://github.com/liyishuai/coq-show/actions?query=workflow%3ACI

[circleci-shield]: https://circleci.com/gh/liyishuai/coq-show.svg?style=svg

[circleci-link]:   https://circleci.com/gh/liyishuai/coq-show

The Show class in Coq

## Meta

- 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](LICENSE)

- Compatible Coq versions: 8.10 or later

- Coq namespace: `Show`

## Building and installation instructions

To instead build and install manually, do:

``` shell

git clone https://github.com/liyishuai/coq-show.git

cd coq-show

make   # or make -j 

make install

```