Pertseva, E., Robert, V., Barrett, C., & Parker, J. (2026). Automating Bitvector and Finite Field Equivalence Proofs in Lean.
Chicago-Zitierstil (17. Ausg.)Pertseva, Elizaveta, Valentin Robert, Clark Barrett, und James Parker. Automating Bitvector and Finite Field Equivalence Proofs in Lean. 2026.
MLA-Zitierstil (9. Ausg.)Pertseva, Elizaveta, et al. Automating Bitvector and Finite Field Equivalence Proofs in Lean. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.