John Harrison
-
A HOL theory of euclidean space
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
The real numbers in Z
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods