plugins/rtauto · coq · Tangled

Sign in Join now

coq stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from coq/coq

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

coq /plugins /rtauto

7 files

coqbot-app[bot] · Merge PR #21955: Remove compat coq-core libraries (not executables) · 5mo ago

Remove compat coq-core libraries (not executables)

rename package coq-core -> rocq-runtime

Enable warning 70 (missing mli), add mli files

proof_search.ml

Update the OCaml headers to reflect the fact Coq is now Rocq.

proof_search.mli

Update the OCaml headers to reflect the fact Coq is now Rocq.

Stop using global lazy in rtauto

Update the OCaml headers to reflect the fact Coq is now Rocq.