Update website landing page

cryspen · Jan 21, 2025 · 3cf1472 · 3cf1472
1 parent 272e908
commit 3cf1472
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -1,6 +1,4 @@
 # Welcome to hax
 
-hax is a tool for high assurance translations that translates a large subset of
-Rust into formal languages such as [F\*](https://www.fstar-lang.org/) or [Coq](https://coq.inria.fr/).
-This extends the scope of the hacspec project, which was previously a DSL embedded in Rust,
-to a usable tool for verifying Rust programs.
+hax is a tool for high assurance translations of a large subset of
+Rust into formal languages such as [F\*](https://www.fstar-lang.org/) or [Rocq](https://rocq-prover.org/).