coqinterface_plugin.mllib « interface « contrib - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/contrib/interface/coqinterface_plugin.mllib

blob: e4b575b136c40830dd41d915bc73121f09c0858b (plain)

Vtp
Xlate
Paths
Translate
Pbp
Dad
History
Name_to_ast
Debug_tac
Showproof_ct
Showproof
Blast
Depends
Centaur