Revert fstar changes

hacspec · Nov 26, 2024 · fc3d39b · fc3d39b
1 parent e0370d7
commit fc3d39b
Show file tree

Hide file tree

Showing 56 changed files with 0 additions and 19,529 deletions.
diff --git a/proof-libs/fstar/generated-core/Core.Array.Iter.fst b/proof-libs/fstar/generated-core/Core.Array.Iter.fst