Factorial: Difference between revisions
Content added Content deleted
| Line 6,024: | Line 6,024: | ||
}.</syntaxhighlight> |
}.</syntaxhighlight> |
||
=={{header| |
=={{header|Lean}}== |
||
<syntaxhighlight lang="lean"> |
<syntaxhighlight lang="lean"> |
||
| Line 6,024: | Line 6,024: | ||
}.</syntaxhighlight> |
}.</syntaxhighlight> |
||
=={{header| |
=={{header|Lean}}== |
||
<syntaxhighlight lang="lean"> |
<syntaxhighlight lang="lean"> |
||