Skip to content
GitLab

enable record update

Merged Fengmin Zhu requested to merge ci/record-update into master
  1. Add dependency: coq-record-update
  2. Use this library to simplify annotations for pgtable.c