Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]: - Theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]: Add to Reading List Document Date: 2015-12-15 12:07:17 Open Document File Size: 365,67 KB Share Result on Facebook

Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]:Add to Reading List