rocq-geometry

Using basic geometry to learn proficiency at Rocq.

Meta

• Author(s):
  • Adam Barber (initial)
• License: GNU Lesser General Public License v2.1 or later
• Compatible Rocq/Coq versions: 8.18 or later
• Additional dependencies: none
• Rocq/Coq namespace: rocq-geometry
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of rocq-geometry is via OPAM:

opam repo add rocq-released https://rocq-prover.org/opam/released
opam install rocq-geometry

To instead build and install manually, do:

git clone https://github.com//rocq-geometry.git
cd rocq-geometry
make   # or make -j <number-of-cores-on-your-machine> 
make install