GeometricTheoremProver.jl Changelog

Unreleased

added Theorem struct

added contributing guidelines
created package logo

v0.1.0 2022-01-19 (initial release)

Basic language to write geometric statements
Ritt-Wu method for proving theorems