package rocq-runtime

  1. Overview
  2. Docs

Source file pcoq.ml

1
2
3
(** Deprecated alias for Procq *)

include Procq