Skip to content
@FormalGeo

FormalGeo

Formal representation and solving for Euclidean plane geometry problems.

Popular repositories

  1. FormalGeo FormalGeo Public

    Formal representation and solving for Euclidean plane geometry problems.

    Python 10

  2. Datasets Datasets Public

    Dataset Annotation Tools and Dataset Release for formal Euclidean plane geometry problems.

    Python 7 3

  3. formalgeo.github.io formalgeo.github.io Public

    FormalGeo introduction pages.

    CSS

Repositories

Showing 3 of 3 repositories
  • Datasets Public

    Dataset Annotation Tools and Dataset Release for formal Euclidean plane geometry problems.

    Python 7 MIT 3 1 0 Updated May 31, 2024
  • formalgeo.github.io Public

    FormalGeo introduction pages.

    CSS 0 0 0 0 Updated May 17, 2024
  • FormalGeo Public

    Formal representation and solving for Euclidean plane geometry problems.

    Python 10 0 0 0 Updated Apr 18, 2024

Top languages

Loading…

Most used topics

Loading…