Commit 149f5aa7 authored by Ralf Jung's avatar Ralf Jung

Merge branch 'add_docs_to_readme' into 'master'

Add link to docs to the Readme

See merge request iris/stdpp!42
parents 9fa4db07 b71f6a09
Pipeline #13176 passed with stage
in 11 minutes and 13 seconds
# 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