Formal Proofs in Mathematical Practice
Document Type
Other
Role
Author
Publication
Handbook of the History and Philosophy of Mathematical Practice
Publisher
Springer Nature
Publication Date
2021
Repository Citation
Macbeth, D. (2021). "Formal Proofs in Mathematical Practice." in Handbook of the History and Philosophy of Mathematical Practice. (Ed. B. Sriraman.) Springer Nature: Switzerland.
