A Lean Proof Printing Python Union Find

2 points | by matt_d 13 hours ago