libcoq-stdpp

Extended standard library for Coq

Description

This package provides an extended standard library for Coq, for instance:
 - a great number of definitions and lemmas for common data
structures like lists, finite maps and finite multisets ;
 - type classes for common properties like decidable equality,
finiteness or countability ;
 - various tactics for common tasks ;
all of this dependency-free and axiom-free.

Coq is a proof assistant for higher-order logic.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.

Upload a screenshot

Hint: upload an image here from your clipboard with Ctrl-V


Homepage

https://gitlab.mpi-sws.org/iris/stdpp


Install this software package

If the package is available for the distribution you are currently using on your computer then install the software by clicking on…

Install libcoq-stdpp