Search Rocq packages

Standard Library

Learn
Platform
Packages
Community
Consortium
News
Play

Get Started

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

coq-mathcomp-field-extra Versions (1)

	Version	Release Date	Links
	1.6.1	26 Jun 2019	Documentation

Footer

Interactive Theorem Prover

Zulip GitHub Discourse RSS

About Rocq

Changelog
Releases
Industrial Users
Academic Users
History
Why Rocq?
Roadmap

Resources

Install Rocq
Get Started
Documentation
Reference Manual
Standard Library
Books
Exercises
Papers
Rocq Playground
Logo

Ecosystem

Platform
Packages
Community
Consortium
Events
Rocq Planet
Jobs

Policies

Rocq team
Governance
Privacy
Code of Conduct