Commit 19ae4cd
committed
Revert "Add example from rocq-prover/rocq#16172 (#22)"
This reverts commit 6f55415.1 parent 9cf1676 commit 19ae4cd
1 file changed
Lines changed: 0 additions & 35 deletions
This file was deleted.
1 parent 9cf1676 commit 19ae4cd
1 file changed
0 commit comments