frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

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

https://ntaylor.ca/posts/proving-the-coding-interview-lean/
1•todsacerdoti•2h ago