A modular coding of UNITY in COQ

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/bfb0105409 ◽

1996 ◽

pp. 251-266 ◽

Author(s):

Barbara Heyd ◽

Pierre Crégut

Download Full-text