Content deleted Content added
AFBorchert (talk | contribs) m →Proof: typo fixed: prooven -> proven |
Add category |
||
Line 194:
{{John McCarthy}}
[[Category:Articles with example C code]]
[[Category:Articles with example Haskell code]]
[[Category:Articles with example Lisp (programming language) code]]
[[Category:Articles with example OCaml code]]
[[Category:Articles with example Python (programming language) code]]
[[Category:Formal methods]]
[[Category:Recurrence relations]]
|