Commit b71f6a09 authored by Mackie Loeffel's avatar Mackie Loeffel

Add link to docs to the Readme

parent 0f2e8baa
# Coq-std++
# Coq-std++ [[coqdoc]](https://plv.mpi-sws.org/coqdoc/stdpp/)
This project contains an extended "Standard Library" for Coq called coq-std++.
The key features of this library are as follows:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment