corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087bd-cb34-713a-b5bf-39f74a679901

Lean-ing into Software Engineering

paulbutcher.com · published 8 July 2026

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 paulbutcher.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
17
Words captured
2,827

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://lean-lang.org
lean-lang.org
Evaluations Are the Real Codebase Read at the source ↗
aicoding.leaflet.pub
https://astqb.org/istqb-foundation-level-seven-testing-principles/
astqb.org
https://lean-lang.org/theorem_proving_in_lean4/
lean-lang.org
https://en.wikipedia.org/wiki/Curry–Howard_correspondence
en.wikipedia.org
https://github.com/paulbutcher/partition-when/blob/main/PartitionWhenTests/Correctness.lean
github.com
https://lean-lang.org/functional_programming_in_lean/Programming___-Proving___-and-Performance/Tail-Recursion/
lean-lang.org
https://github.com/paulbutcher/partition-when/blob/main/PartitionWhen/Basic.lean
github.com
https://en.wikipedia.org/wiki/Halting_problem
en.wikipedia.org
https://lean-lang.org/doc/reference/latest/Definitions/Recursive-Definitions/
lean-lang.org
https://mathlib-initiative.org
mathlib-initiative.org
https://reservoir.lean-lang.org
reservoir.lean-lang.org
https://github.com/pandaman64/lean-regex
github.com
https://github.com/kim-em/lean-zip
github.com
https://lean-lang.org/install/
lean-lang.org
https://github.com/oOo0oOo/lean-lsp-mcp
github.com
https://github.com/cameronfreer/lean4-skills/
github.com