Nothing Special   »   [go: up one dir, main page]
Skip to content
@opengeometryprover

Open Geometry Prover Community Project (OGPCP)

Popular repositories Loading

  1. GDDM GDDM Public

    Open Library of Geometry Automatic Theorem Provers

    C++ 5 1

  2. GDDMlite GDDMlite Public

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

    C++ 1

  3. IvanOGP IvanOGP Public

    Java

Repositories

Showing 3 of 3 repositories
  • GDDM Public

    Open Library of Geometry Automatic Theorem Provers

    opengeometryprover/GDDM’s past year of commit activity
    C++ 5 GPL-3.0 1 1 0 Updated May 29, 2024
  • GDDMlite Public

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

    opengeometryprover/GDDMlite’s past year of commit activity
    C++ 1 GPL-3.0 0 0 0 Updated Jun 29, 2022
  • IvanOGP Public
    opengeometryprover/IvanOGP’s past year of commit activity
    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…