Carneiro, M. (2024). Lean4Lean: Verifying a Typechecker for Lean, in Lean.
Citazione stile Chigago Style (17a edizione)Carneiro, Mario. Lean4Lean: Verifying a Typechecker for Lean, in Lean. 2024.
Citatione MLA (9a ed.)Carneiro, Mario. Lean4Lean: Verifying a Typechecker for Lean, in Lean. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.