corpus.blog
41,554 blogs · 5,316,985 posts Claim your blog
Record · corpus.blog/posts/01a087b3-a865-70d5-b0b0-326580e9bb0f

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match

dijkstracula.github.io · published 2 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
16
Words captured
7,985

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://sites.google.com/view/utdirp
sites.google.com
https://lean-lang.org/
lean-lang.org
https://softwarefoundations.cis.upenn.edu/lf-current/toc.html
softwarefoundations.cis.upenn.edu
https://htdp.org/
htdp.org
https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency
github.com
https://www.youtube.com/watch?v=C5PuBeiWaSA
youtube.com
https://github.com/leanprover/lean4/blob/2234c9116310b4c954ae42178e1f5d8e9795c682/src/Init/Prelude.lean
github.com
https://loogle.lean-lang.org/?q=0+%3C+_+%2B+1
loogle.lean-lang.org
https://leanprover-community.github.io/mathlib4_docs/Init/Data/Nat/Basic.html
leanprover-community.github.io
https://en.wikipedia.org/wiki/Q.E.D.
en.wikipedia.org
https://www.cs.cornell.edu/courses/cs6120/2022sp/blog/coc/
cs.cornell.edu
https://loogle.lean-lang.org/?q=%28List.map+_+_%29.length
loogle.lean-lang.org
https://github.com/leanprover/lean4/blob/2fcce7258eeb6e324366bc25f9058293b04b7547/src/Init/Data/List/Lemmas.lean
github.com
https://loogle.lean-lang.org/?q=List.length+%28List.range%27+_+_+_%29
loogle.lean-lang.org
https://github.com/leanprover/lean4/blob/2fcce7258eeb6e324366bc25f9058293b04b7547/src/Init/Data/List/Range.lean
github.com
https://arxiv.org/abs/2505.15796
arxiv.org
Elsewhere on dijkstracula.github.io (2)