galois
Typeset Galois connections
The author is Patrick Cousot.
License: lppl Version: 1.5 Catalogued: 2016-06-24