Remove formal docs

Reviewed By: pradeep90 Differential Revision: D48377479 fbshipit-source-id: 13a46c243099e0b7dfc206839a4da40b710cb95b
facebook · Aug 16, 2023 · 9c39b5a · 9c39b5a
1 parent 4a0ebad
commit 9c39b5a
Show file tree

Hide file tree

Showing 26 changed files with 0 additions and 4,187 deletions.
diff --git a/documentation/website/docs/formal/.gitignore b/documentation/website/docs/formal/.gitignore
diff --git a/documentation/website/docs/formal/python_semantic/.gitignore b/documentation/website/docs/formal/python_semantic/.gitignore