You are viewing the staging branch of the website @ b4332b8, not the live version.

Search Rocq packages

Standard Library

Learn
Platform
Packages
Community
Consortium
News

Get Started

Search Rocq packages
Learn
Platform
Packages
Community
Consortium
News
Standard Library
Get started

coq-mk-real-number-completeness Versions (1)

	Version	Release Date	Links
	1.0.0	09 Mar 2026	Documentation

Footer

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS

GitHub branch and commit.

About Rocq

Changelog
Releases
Industrial Users
Academic Users
History
Why Rocq?
Roadmap

Resources

Install Rocq
Get Started
Documentation
Books
Papers
Logo

Ecosystem

Platform
Packages
Rocq Team
Community
Consortium
Events
Rocq Planet
Jobs

Policies

Governance
Privacy
Code of Conduct