https://github.com/clarus/coq-list-plus

More functions on lists.
https://github.com/clarus/coq-list-plus

Last synced: about 1 month ago
JSON representation

More functions on lists.

• Host: GitHub
• URL: https://github.com/clarus/coq-list-plus
• Owner: clarus
• License: mit
• Created: 2014-11-06T15:10:12.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-11-26T17:50:02.000Z (over 9 years ago)
• Last Synced: 2025-02-16T14:25:07.299Z (4 months ago)
• Language: Coq
• Size: 8.79 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# ![Logo](https://raw.githubusercontent.com/clarus/icons/master/list-48.png) ListPlus

More functions on lists.

## Install

### With OPAM

Add the [Coq repository](coq.io/opam/):

    opam repo add coq-released https://coq.inria.fr/opam/released

and run:

    opam install coq-list-plus

### From the sources

Run:

    ./configure.sh

    make

    make install

## Use

Add:

    Require Import ListPlus.All.

at the beginning of your source files.