Point-and-Write - Documenting Formal Mathematics by Reference.

Carst Tankink, Christoph Lange, Josef Urban

Browse the full AISC paper archive.