Yang, B., Yuan, Y., Li, C., Wang, Z., Li, L., Zhang, B., . . . Wen, Z. (2026). Construction-Verification: A Benchmark for Applied Mathematics in Lean 4.
Citazione stile Chigago Style (17a edizione)Yang, Bowen, Yi Yuan, Chenyi Li, Ziyu Wang, Liangqi Li, Bo Zhang, Zhe Li, e Zaiwen Wen. Construction-Verification: A Benchmark for Applied Mathematics in Lean 4. 2026.
Citatione MLA (9a ed.)Yang, Bowen, et al. Construction-Verification: A Benchmark for Applied Mathematics in Lean 4. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.