Keyword: prolog

• Demos: Demos of some Coq tools appeared in version V6.0
  Coq group