A Lean Proof Printing Python Union Find

(philipzucker.com)

2 points | by matt_d 14 hours ago ago