package coq-high-school-geometry

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

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. F
    Frédérique Guilhot <Frederique.Guilhot@sophia.inria.fr> [http://www-sop.inria.fr/lemme/Frederique.Guilhot/index.html]

Maintainers

  1. L
    Laurent.Thery@inria.fr

Sources

high-school-geometry-8.6.0.tar.gz
md5=13e7473956daec17fac8316e8e01a436

Description

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

Tags

keyword: geometry keyword: teaching keyword: high-school category: Mathematics/Geometry/General date: 2004-01

Published: 20 Nov 2018

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None