Lean 4 Hackers
Resource history | v1 (current) | created by jjones
Details
Lean 4 Hackers
see v1 | created by jjones | Add resource "Lean 4 Hackers"
- Title
- Lean 4 Hackers
- Type
- Web
- Created
- 2021-11
- Description
- This is a short guide to getting started with Lean 4 by writing simple programs. Lean 4 is a new language inspired by its predecessor, Lean 3. It is a dependently typed, pure functional programming language that is strictly evaluated. There are significant differences though and Lean 4 programs can be compiled down to C.
- Link
- https://agentultra.github.io/lean-4-hackers/
- Identifier
- no value
authors
This resource has no history of related authors.
topics
about Lean
resources
This resource has no history of related resources.