Search results

From Maths
Jump to: navigation, search
  • ...anding the differential into one place. I have applied [[recursive decent (meta)|recursive decent]] to solve this, which means picking something, finding o
    4 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