3 ms·Then you can prove your algorithm correct using proof libraries like Z3.by ChrisLomont 6y agoThen you can prove your algorithm correct using proof libraries like Z3.