Revert "Add example from coq/coq#16172 (#22)"

This reverts commit 6f55415.
coq-community · Jun 23, 2022 · 19ae4cd · 19ae4cd
1 parent 9cf1676
commit 19ae4cd
Showing 1 changed file with 0 additions and 35 deletions.
diff --git a/src/exponential_extraction.v b/src/exponential_extraction.v