Skip to main content

The HOL finite_sets Library

T. F. Melham

Month
February
Organisation
Computer Laboratory‚ University of Cambridge
Year
1992