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