Home
About Coq
Get Coq
Documentation
Community

The Coq Proof Assistant

Library Coq.Reals.Rregisternames

Require Import Reals.

Register names in the Reals library used by plugins

Navigation

Standard Library
- Table of contents
- Index

webmaster
xhtml valid
CSS valid