Coq in Coq (1997)

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