CtCoq: A system presentation

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0014352 ◽

1996 ◽

pp. 600-603

Author(s):

Janet Bertot ◽

Yves Bertot

Download Full-text