Skip to content
@opengeometryprover

Open Geometry Prover Community Project (OGPCP)

Popular repositories

  1. GDDM GDDM Public

    Open Library of Geometry Automatic Theorem Provers

    C++ 3 1

  2. IvanOGP IvanOGP Public

    Java

  3. GDDMlite GDDMlite Public

    Implementation by Pedro Teixeira of the Deductive Databases Method for Geometry (GDDM)

    C++

Repositories

Showing 3 of 3 repositories
  • GDDM Public

    Open Library of Geometry Automatic Theorem Provers

    C++ 3 GPL-3.0 1 1 0 Updated Feb 21, 2024
  • GDDMlite Public

    Implementation by Pedro Teixeira of the Deductive Databases Method for Geometry (GDDM)

    C++ 0 GPL-3.0 0 0 0 Updated Jun 29, 2022
  • IvanOGP Public
    Java 0 0 0 0 Updated Feb 28, 2019

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…