remove verifai from repo

tcdanielh · Sep 30, 2024 · 508d4f7 · 508d4f7
1 parent d5e9e0d
commit 508d4f7
Show file tree

Hide file tree

Showing 326 changed files with 0 additions and 93,083 deletions.
diff --git a/VerifAI/.gitignore b/VerifAI/.gitignore
diff --git a/VerifAI/.readthedocs.yml b/VerifAI/.readthedocs.yml
diff --git a/VerifAI/LICENSE b/VerifAI/LICENSE
diff --git a/VerifAI/README.md b/VerifAI/README.md
diff --git a/VerifAI/docs/Makefile b/VerifAI/docs/Makefile
diff --git a/VerifAI/docs/_static/assets/cartpole.jpg b/VerifAI/docs/_static/assets/cartpole.jpg
diff --git a/VerifAI/docs/_static/assets/mountaincar.jpg b/VerifAI/docs/_static/assets/mountaincar.jpg