dev/ml_toplevel · 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 /dev /ml_toplevel

4 files

Pierre-Marie Pédrot · Inline PConstraints.ContextSet in its last user, UState. · 10mo ago

Rename Coq -> Rocq in various comments and doc

include_directories

Fix errors and warnings in include files

include_printers

Inline PConstraints.ContextSet in its last user, UState.

include_utilities

Deprecate Tacmach.pf_env.