Skip to content

GitLab

Merged
Created by Fengmin Zhu@paulzhuDeveloper

enable record update

  1. Add dependency: coq-record-update
  2. Use this library to simplify annotations for pgtable.c