corpus.blog
43,884 blogs · 5,580,801 posts Claim your blog
Record · corpus.blog/posts/01a087b3-a865-70d5-b0b0-326581d56974

Leaning into the Coding Interview 3: completing our spec with tacticals and metaprogramming

dijkstracula.github.io · published 19 January 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 dijkstracula.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
10
Words captured
14,389

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/leanprover/lean4/blob/2234c9116310b4c954ae42178e1f5d8e9795c682/src/Init/Prelude.lean
github.com
https://en.wikipedia.org/wiki/Principle_of_explosion
en.wikipedia.org
https://github.com/leanprover/lean4/blob/2fcce7258eeb6e324366bc25f9058293b04b7547/src/Init/Grind/Tactics.lean
github.com
https://leodemoura.github.io/files/ematching.pdf
leodemoura.github.io
https://lean-lang.org/doc/reference/4.26.0/Tactic-Proofs/Tactic-Reference/
lean-lang.org
https://programmingisterrible.com/post/176657481103/repeat-yourself-do-more-than-one-thing-and
programmingisterrible.com
https://www.andrew.cmu.edu/user/bparno/papers/ironfleet.pdf
andrew.cmu.edu
https://leanprover-community.github.io/mathlib_docs/commands.html
leanprover-community.github.io
https://bbs.archlinux.org/viewtopic.php?id=272242
bbs.archlinux.org
https://leanprover-community.github.io/lean4-metaprogramming-book/main/01_intro.html
leanprover-community.github.io
Elsewhere on dijkstracula.github.io (1)