LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
-
Updated
May 31, 2024 - Lean
#
euclidean-geometry
Here are 11 public repositories matching this topic...
Tools for estimating, completing and denoising Euclidean distance matrices
procrustes microphone-array lowrankdenoising euclidean-distances distance-matrix euclidean-geometry low-rank-matrix-recovery
-
Updated
Jan 16, 2025 - Julia
DEPRECATED: Collection of math-related utilities developed at Body Labs
-
Updated
Feb 3, 2023 - Python
Abstraction of Euclidean spaces.
-
Updated
Nov 23, 2024 - Rust
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
topology geometry theorem-proving mathematics lean formal-verification real-analysis euclidean-geometry theorem-provings lean4 philosophical-logic philosophical-mathematics
-
Updated
Nov 2, 2024 - Lean
MATH 471, GEOMETRY FOR TEACHERS (Problem solving oriented introduction to Euclidean and non-Euclidean geometries.)
-
Updated
Jan 14, 2025 - HTML
DEPRECATED
-
Updated
Aug 29, 2019 - Python
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
-
Updated
Sep 18, 2023 - TeX
A TypeScript library that provides basic calculation functionalities related to Euclidean geometry..
-
Updated
Apr 25, 2023 - TypeScript
dom-arrow is a web component wrapper around the leader-line npm package.
-
Updated
Jan 8, 2022 - JavaScript
Geogebra-fork focused on extensibility and support for Euclidean Geometry.
-
Updated
Sep 3, 2024 - Java
Improve this page
Add a description, image, and links to the euclidean-geometry topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the euclidean-geometry topic, visit your repo's landing page and select "manage topics."