lucaferranti/GeometricTheoremProver.jl

A Julia library for automated deduction in Euclidean geometry.

语言：Julia · GitHub 星标：25 · Fork：1

在 GitHub 上查看原仓库