Why 'externalized' proofs of cyclic trait impls does not work
By vinhnx · 2026-10-12 · 1 points · 0 comments
https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/
By vinhnx · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews