Home
Random
Log in
Settings
About Rosetta Code
Disclaimers
Rosetta Code
Search
Factorial: Difference between revisions
Page
Discussion
← Older edit
Newer edit →
Factorial
(view source)
Revision as of 20:56, 30 May 2023
4 bytes removed
,
1 year ago
→{{header|Lean}}
Revision as of 20:54, 30 May 2023
(
view source
)
JulianM
(
talk
|
contribs
)
(
→{{header|Lean}}
)
← Older edit
Revision as of 20:56, 30 May 2023
(
view source
)
JulianM
(
talk
|
contribs
)
(
→{{header|Lean}}
)
Newer edit →
Line 6,024:
}.</syntaxhighlight>
=={{header|
Latitude
Lean
}}==
<syntaxhighlight lang="lean">
JulianM
92
edits