Formal Proofs in Mathematical Practice
Document Type
Other
Role
Author
Published In
Handbook of the History and Philosophy of Mathematical Practice
Publisher
Springer Nature
Publication Date
2021
Suggested 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.
COinS
