search

coq / platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
https://coq.inria.fr/platform-docs/
Other
19 stars 10 forks source link

More structure in index #28

Closed Villetaneuse closed 4 months ago

Villetaneuse commented 4 months ago

just to make the index slightly clearer, now that we have 5 tutorials