Skip to content
@FormalGeo

FormalGeo

Formal representation and solving for Euclidean plane geometry problems.

Popular repositories Loading

  1. FormalGeo FormalGeo Public

    Formal representation and solving for Euclidean plane geometry problems.

    Python 12

  2. formalgeo.github.io formalgeo.github.io Public

    FormalGeo introduction pages.

    CSS

Repositories

Showing 2 of 2 repositories
  • formalgeo.github.io Public

    FormalGeo introduction pages.

    FormalGeo/formalgeo.github.io’s past year of commit activity
    CSS 0 0 0 0 Updated Oct 26, 2024
  • FormalGeo Public

    Formal representation and solving for Euclidean plane geometry problems.

    FormalGeo/FormalGeo’s past year of commit activity
    Python 12 0 2 0 Updated Oct 4, 2024

Top languages

Loading…

Most used topics

Loading…