56,966 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a07d5d-9303-700d-a3bb-6cbeae42e1ff

A Lean Syntax Primer

Dan Abramov · published 2 September 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at overreacted.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 17
Words captured: 8,140

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://lean-lang.org/

lean-lang.org

https://bsky.app/profile/danabra.mov/post/3lxjfxdlow22m

bsky.app

https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math

amazon.science

https://live.lean-lang.org/

live.lean-lang.org

https://lean-lang.org/install/

lean-lang.org

https://proofassistants.stackexchange.com/a/1576

proofassistants.stackexchange.com

Beyond Booleans Read at the source ↗

https://github.com/leanprover/lean4/blob/ad1a017949674a947f0d6794cbf7130d642c6530/src/Init/Prelude.lean

github.com

https://gmplib.org/

gmplib.org

https://github.com/leanprover-community/mathlib4/blob/aac79004bad67a82c18ab7d39c609529f4159d6f/Archive/Wiedijk100Theorems/AreaOfACircle.lean

github.com

https://github.com/leanprover-community/mathlib4/blob/aac79004bad67a82c18ab7d39c609529f4159d6f/Archive/Wiedijk100Theorems/BirthdayProblem.lean

github.com

https://github.com/leanprover-community/mathlib4/blob/aac79004bad67a82c18ab7d39c609529f4159d6f/Archive/Wiedijk100Theorems/CubingACube.lean

github.com

https://lean-lang.org/fro/roadmap/1900-1-1-the-lean-fro-year-3-roadmap/

lean-lang.org

https://github.com/leanprover/lean4/blob/c83237baf78d6930d40e556a5cacdca149c4b198/src/Init/Data/List/Basic.lean

github.com

https://en.wikipedia.org/wiki/Nemerle

en.wikipedia.org

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

deepmind.google

https://aws.amazon.com/blogs/opensource/lean-into-verified-software-development/

aws.amazon.com