GitHub repository: lucaferranti/GeometricTheoremProver.jl
Primary language: Julia
Description: A Julia library for automated deduction in Euclidean geometry.