package coq-ollibs

  1. Overview
  2. No Docs
OL libraries

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

  1. O
    Olivier Laurent
  2. C
    Christophe Lucas

Maintainers

  1. O
    olivier.laurent@ens-lyon.fr

Sources

v2.0.4.tar.gz
sha256=d3f0f7e7b4623d25cf57771a5a8ab03d81c0ed40182f6b8f6eb48f0a05006d5b

Description

Add-ons for the Coq standard library

Tags

keyword:standard library keyword:list keyword:permutation keyword:decidable equality keyword:finite multisets category:Miscellaneous/Coq Extensions date:2023-04-05 logpath:OLlibs

Published: 08 Apr 2023

Dependencies (1)

  1. coq >= "8.17" & < "8.18~"

Dev Dependencies

None

Used by

None

Conflicts

None