plugins/nsatz · 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 /nsatz

11 files

coqbot-app[bot] · Merge PR #22074: Remove more global lazys · 5mo ago

Remove compat coq-core libraries (not executables)

rename package coq-core -> rocq-runtime

Enable warning 70 (missing mli), add mli files

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

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

Remove more global lazys

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

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

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

Infrastructure for fine-grained debug flags

[nsatz] remove dead code