Proof logging for some interesting constraint propagation algorithms Date: November 24, 2024 Bluesky Facebook LinkedIn X (formerly Twitter) Previous Next