Replace elimtype False by exfalso (#995)

MetaCoq · Oct 17, 2023 · 64ce785 · 64ce785
1 parent adc980c
commit 64ce785
Show file tree

Hide file tree

Showing 17 changed files with 26 additions and 425 deletions.
diff --git a/.github/nix-action-coq-8.17-macos.yml b/.github/nix-action-coq-8.17-macos.yml
diff --git a/.github/nix-action-coq-8.17-ubuntu.yml b/.github/nix-action-coq-8.17-ubuntu.yml