A Hoare Logic for Symmetry Properties. arxiv.org/abs/2509.00587
0
0
0
24
0