Mechanised Separation Algebra.

Gerwin Klein, Rafal Kolanski, Andrew Boyton

Browse the full ITP paper archive.