Coq in Coq (1997)

by Bruno Barras , Benjamin Werner
Citations:5 - 0 self