A verified algorithm for finding the intersection point of two lists #1 Post by alex_muscar » Sat, Jul 02, 2022, 4:10 PM UTC A verified algorithm for finding the intersection point of two listsmuscar.eu