Formal geometry prover

登录后使用几何自动证明器

Menelaus 几何自动证明器面向注册用户开放：输入几何题目，自动完成符号推理并生成逐步讲解。