Cita APA (7a ed.)

Wu, Z., Wang, J., Lin, D., & Chen, K. (2024). LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover.

Cita Chicago Style (17a ed.)

Wu, Zijian, Jiayu Wang, Dahua Lin, y Kai Chen. LEAN-GitHub: Compiling GitHub LEAN Repositories for a Versatile LEAN Prover. 2024.

Cita MLA (9a ed.)

Wu, Zijian, et al. LEAN-GitHub: Compiling GitHub LEAN Repositories for a Versatile LEAN Prover. 2024.