package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587

Sourcemodule Mc = Micromega

Sourceval pp_nat : Stdlib.out_channel -> Mc.nat -> unit

Sourceval pp_positive : Stdlib.out_channel -> Mc.positive -> unit

Sourceval pp_z : Stdlib.out_channel -> Mc.z -> unit

val pp_pol : 
  (Stdlib.out_channel -> 'a -> unit) ->
  Stdlib.out_channel ->
  'a Mc.pol ->
  unit

val pp_psatz : 
  (Stdlib.out_channel -> 'a -> unit) ->
  Stdlib.out_channel ->
  'a Mc.psatz ->
  unit

Sourceval pp_proof_term : Stdlib.out_channel -> Mc.zArithProof -> unit