PRL Seminars
Anchoring Expository Text in Formal Mathematics
Stuart F. Allen
December 6, 2004
Abstract
We discuss concepts and methods for creating expository texts that refer to
formalized mathematics.
|
| Home | | Introduction | | Authors | | Topics | | Chronological List | | PRL Project |