the CtCoq Interface, available by ftp at babar.inria.fr:/pub/centaur/ctcoq (0)

by Y Bertot
Results 1 - 1 of 1

Extracting Text from Proof

by Yann Coscoy, Gilles Kahn, Laurent Thery - IN TYPED LAMBDA CALCULUS AND ITS APPLICATIONS , 1995
"... ..."
Abstract - Cited by 37 (1 self) - Add to MetaCart
Abstract not found