package coq-high-school-geometry

  1. Overview
  2. No Docs
Geometry in Coq for French high-school

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. F
    Frédérique Guilhot

Maintainers

  1. L
    Laurent.Thery@inria.fr

Sources

v8.11.tar.gz
md5=f320fb63bd4f24727ecafb07ed6486bc

Description

This Coq library is dedicated to high-shool geometry teaching. The axiomatisation for affine Euclidean space is in a non analytic setting.

Tags

category:Mathematics/Geometry/General keyword:geometry keyword:teaching keyword:high school logpath:HighSchoolGeometry

Published: 08 Jul 2020

Dependencies (1)

  1. coq >= "8.11" & < "8.13~"

Dev Dependencies

None

Used by

None

Conflicts

None