package coq

  1. Overview
  2. Docs
Formal proof management system

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.16.1.tar.gz
sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b

doc/nsatz_plugin/Nsatz_plugin/Utile/index.html

Module Nsatz_plugin.UtileSource

Sourceval pr : string -> unit
Sourceval prt0 : 'a -> unit
Sourceval info : (unit -> string) -> unit
Sourceval sinfo : string -> unit
OCaml

Innovation. Community. Security.