Skip to content

Adding eassert, eset, epose, etc.#248

Merged
coqbot merged 5 commits into
rocq-prover:trunkfrom
herbelin:trunk+eassert-and-co
May 31, 2017
Merged

Adding eassert, eset, epose, etc.#248
coqbot merged 5 commits into
rocq-prover:trunkfrom
herbelin:trunk+eassert-and-co

Support for using type information to infer more precise evar sources.

bbde815
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs