package coq-three-gap

  1. Overview
  2. Homepage
A Proof of the Three Gap Theorem (Steinhaus Conjecture)

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. M
    Micaela Mayero <>

Maintainers

  1. M
    matej.kosik@inria.fr

Sources

v8.5.0.tar.gz
md5=b3f0b1bb82477724df852543d847f1a9

Description

This proof uses the real numbers. It is a classical proof.

Tags

keyword:real numbers keyword:steinhaus keyword:three gap theorem category:Mathematics/Geometry/General category:Mathematics/Arithmetic and Number Theory/Miscellaneous

Published: 07 Jun 2016

Dependencies (2)

  1. coq >= "8.5" & < "8.6~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct