Formal definition

by Eric Bruylant Jun 17 2016 updated Jul 14 2016

This page gives a purely formal definition of a topic, rather than motivating, explaining, and giving examples.

Meta tag for pages which give formal or brief jargon-heavy technical definitions of a concept. Formal definitions should be secondary lenses when explanations are available.

[todo: Write a more detailed description of these pages.] [todo: List some examples of high-quality definition pages.]