fp.
newest
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