Search results
From Maths
Create the page "Meta" on this wiki! See also the search results found.
- ...anding the differential into one place. I have applied [[recursive decent (meta)|recursive decent]] to solve this, which means picking something, finding o4 KB (716 words) - 14:24, 16 May 2016
- .... We will use {{M|\doteq}} for this (to separate it from equality in the [[meta-language]])3 KB (455 words) - 10:45, 8 September 2016
- ...we mean equals as in "LHS evaluates to the same thing as the RHS in the [[meta-language]]"</ref>2 KB (378 words) - 11:00, 11 September 2016
- [[Category:Meta]]1 KB (202 words) - 00:14, 15 October 2016