Structuring Definitions in Mathematical Libraries.

Alena Gusakov, Peter Nelson, Stephen M. Watt

Browse the full SYNASC paper archive.