# content
Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match (by nathan) — discussion

#formalmethods #plt