Code

Address Coq 8.20 warnings#219

Code

Merged

mrhaandi merged 1 commit intouds-psl:masteruds-psl/coq-library-undecidability:masterfrom mrhaandi:address-8-20-warningsmrhaandi/coq-library-undecidability:address-8-20-warningsCopy head branch name to clipboardApr 4, 2024

+269-269

Commits

Commits on Apr 4, 2024

• addressed Coq 8.20 warnings

  mrhaandi

  committed
  f9e11e1