move ivy-proofs into spec

This commit is contained in:
Callum Waters
2022-02-11 14:35:12 +01:00
parent 91a4994c60
commit 81f008104f
14 changed files with 0 additions and 0 deletions