Lean 4 Hackers

Resource history | v1 (current) | created by jjones

Details

Lean 4 Hackers

| 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
v1 | attached by jjones | Add resource "Lean 4 Hackers"

resources

This resource has no history of related resources.