Can't prove seemingly trivial equality in Ada

2021-01-30 20:11发布