Search results

Jump to navigation Jump to search

  • Proof assistant
    Informally, the right fold applies to a binary operation (say, "+"), a list (say, "[''x'',''y'',''z'']") and an initial value (say,
    21 KB (3,291 words) - 16:07, 3 November 2013
View ( | next 50) (20 | 50 | 100 | 250 | 500)
Retrieved from "https://citizendium.org/wiki/Special:Search"