Keyword: graphical interface

• Interface: Interface with PCoq environment.
  Yves Bertot