rocq-prover/platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

Rocq Prover

Other

This project provides a collection of short, interactive tutorials and how-to guides for Rocq and the Rocq Platform, aimed at helping users learn and discover specific features through practical examples. It serves as an accessible, centralized online documentation resource to engage new users and support existing ones in navigating Rocq's ecosystem.

Total donated

Undistributed

Share with your subscribers: