LeanEuclid：针对证明助手Lean的欧几里得几何自动形式化基准测试，包含173个手动形式化的欧几里得几何问题

1. 14:42 · May 29, 2024 · Wed

   

   ×

   

   LeanEuclid：针对证明助手Lean的欧几里得几何自动形式化基准测试，包含173个手动形式化的欧几里得几何问题