I'm working on modernizing Rosetta Code's infrastructure. Starting with communications. Please accept this time-limited open invite to RC's Slack.. --Michael Mol (talk) 20:59, 30 May 2020 (UTC)


From Rosetta Code
This programming language may be used to instruct a computer to perform a task.
Execution method: Compiled (machine code)
Garbage collected: Yes
Type safety: Safe
Type strength: Strong
Type checking: Dynamic, Static
See Also:
Listed below are all of the tasks on Rosetta Code which have been solved using Lean.
Your Help Needed
If you know Lean, please write code for some of the tasks not implemented in Lean.
Lean is an implementation of Lean. Other implementations of Lean.

Lean   is an open source theorem prover and programming language being developed at Microsoft Research.

Lean aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs.


Pages in category "Lean"

The following 3 pages are in this category, out of 3 total.