package coq-high-school-geometry
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Geometry for French high-school
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.0.tar.gz
md5=cf03f84a71cee31d4fe870fa567cc3dd
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 logpath:HighSchoolGeometryPublished: 22 Mar 2016
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page