Idempotent Relations in Isabelle/HOL.

Florian Kammller, Jeff W. Sanders

Browse the full ICTAC paper archive.